最終更新日：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.
音声機能が動作しない場合はこちらをご確認ください
正解を見る
classifying morphism
編集履歴（0）
元となった辞書の項目
classifying morphism
名詞
日本語の意味
(圏論における) 対象からサブオブジェクト分類子への射のことで、その射を通して一意に定まる部分対象が、分類子の「真」を示すグローバル要素に対する引き戻しとして得られる。 / 対象のある部分対象を一意に特徴づけるために用いられる射として解釈される。
（ plural ）
