Last Updated：2025/11/30
(category theory) A morphism from an object to the subobject classifier which corresponds to a unique subobject of the said object, which subobject is the pullback, along this morphism, of the true
global element of the subobject classifier.
音声機能が動作しない場合はこちらをご確認ください
See correct answer
classifying morphism
Edit Histories（0）
Source Word
classifying morphism
Noun
Japanese Meaning
(圏論における) 対象からサブオブジェクト分類子への射のことで、その射を通して一意に定まる部分対象が、分類子の「真」を示すグローバル要素に対する引き戻しとして得られる。 / 対象のある部分対象を一意に特徴づけるために用いられる射として解釈される。
（ plural ）
