elementary topos
Jump to navigation
Jump to search
English[edit]
Noun[edit]
elementary 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)