Elementary topos
= Elementary topos
= Topos
{synonym}
An elementary topos is a category with finite limits, a <Cartesian closed category>[cartesian-closed] structure, and a <subobject classifier>. These axioms support an internal intuitionistic higher-order logic.