Elementary topos
= Elementary topos
{wiki=Topos}
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.
= Topos
{synonym}