elementary topos
Noun
Meaning
elementary topos (plural elementary topoi or elementary toposes)
(category theory) A Cartesian closed category which has a subobject classifier.
Noun
elementary topos (plural elementary topoi or elementary toposes)
(category theory) A Cartesian closed category which has a subobject classifier.