English Dictionary

subobject classifier

名詞

(category theory) An object which serves as the codomain of a classifying morphism, together with a "true" global element of the said object.

日本語の意味

カテゴリー理論における部分対象分類子とは、各部分対象を特徴付ける分類射の余射（codomain）として機能し、その対象に「真」を示す全域要素が存在するオブジェクトを指す。

In many toposes, the subobject classifier identifies which subobjects of an object correspond to characteristic morphisms into it.

多くのトポスでは、分類射の終域となり「真」と呼ばれる終対象からの元を備えた対象（部分対象分類子）が、ある対象のどの部分対象がそれへの特徴写像に対応するかを識別する。

意味（1）

(category theory) An object which serves as the codomain of a classifying morphism, together with a "true" global element of the said object.

subobject classifiers （ plural ）