elementary topos

Noun

 * 1)  A Cartesian closed category which has a subobject classifier.