最終更新日：2024/08/06
(category theory) A Cartesian closed category which has a subobject classifier.
正解を見る
elementary topos
編集履歴（0）
(category theory) A Cartesian closed category which has a subobject classifier.
elementary topos
DiQt（ディクト）
無料
★★★★★★★★★★
