最終更新日：2025/11/30

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

音声機能が動作しない場合はこちらをご確認ください

正解を見る

subobject classifier

元となった辞書の項目

subobject classifier

名詞

日本語の意味

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

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

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

意味（1）

subobject classifiers

（ plural ）