English Dictionary

The subset classifier of a topos serves as the codomain for characteristic functions and thus encodes membership information.

トポスにおける真理値の集合は、特性関数の値域として機能し、要素の所属情報を符号化します。