nLab
2-topos theory

Idea

The theory of 2-toposes, generalizing topos theory from category theory to 2-category theory.

Related concepts

• topos theory

• 2-topos theory

• (∞,1)-topos theory

• higher topos theory

References

The analog of the Elephant for 2-topos theory still needs to be written.

For some speculations and further references, see this page.