subset classifier

名詞

不可算名詞

日本語の意味

特性関数の値域として機能する集合。 / 圏論において、集合の圏（Set）に制限された部分対象分類器。

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

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

意味（1）

(mathematics) A set which serves as the codomain of a characteristic function.

意味（2）

(category theory, uncountable) The subobject classifier restricted to the category Set.

subset classifiers

（ plural ）