最終更新日:2024/08/04
(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
編集履歴(0)
元となった辞書の項目
subobject classifier
noun