Topic summary
Elementary topos
In mathematics, an elementary topos (plural toposes or topoi) is a category which has properties making it resemble the category of sets. Elementary toposes can be used as models of intuitionistichigher-order logic.
Topic summary
In mathematics, an elementary topos (plural toposes or topoi) is a category which has properties making it resemble the category of sets. Elementary toposes can be used as models of intuitionistichigher-order logic.