elementary topos
English
editNoun
editelementary topos (plural elementary topoi or elementary toposes)
- (category theory) A Cartesian closed category which has a subobject classifier.
elementary topos (plural elementary topoi or elementary toposes)