Last Updated:2025/12/05
(category theory) A Cartesian closed category which has a subobject classifier.
音声機能が動作しない場合はこちらをご確認ください
See correct answer
elementary topos
Edit Histories(0)
Source Word
elementary topos
( plural )
( plural )