subobject classifier

Noun

Japanese Meaning

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

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

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

Sense（1）

subobject classifiers

（ plural ）