An elementary topos is a category with finite limits, a cartesian-closed structure, and a subobject classifier. These axioms support an internal intuitionistic higher-order logic.
New to topics? Read the docs here!
New to topics? Read the docs here!