Topos theory

Topos theory studies elementary and Grothendieck toposes, categories with finite limits, exponentials and a subobject classifier that behave like universes of sets.

• Elementary toposes

The dependency explorer needs JavaScript and its graph data.

Download the complete graph data.