Explore relationships

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.

Use + to expand a branch. Click a topic name to open its summary.