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