Topos Theory
Grothendieck topoi, sheaves of sets, and categorical logic.
Topos Theory. Grothendieck topoi, sheaves of sets, and categorical logic.
Foundations and canonical references
The standard treatments of topos theory approach the subject from complementary angles. Johnstone, Sketches of an Elephant: A Topos Theory Compendium (2002) is the anchor reference for the subject and lays out the core definitions, theorems, and worked examples that practitioners return to. Lane, Sheaves in Geometry and Logic (1992) gives a parallel, more proof-oriented exposition of the same material and is widely used as a graduate text.
Open methodological questions for topos theory include sharpening the bridges between foundational theory and computational practice, extending classical results to broader or more structured settings, and integrating the techniques surveyed above with adjacent mathematical disciplines. The references listed in this page are the entry points that current work builds on.
Prerequisites
Sources
- textbook · primary · 2002Sketches of an Elephant: A Topos Theory Compendiumjohnstone-2002
- textbook · primary · 1992Sheaves in Geometry and Logicmaclane-1992, moerdijk-1992
In context
Where this topic sits in the prerequisite graph. Click any node to jump.
Review this topic
This page was drafted by an agent and is waiting on expert review. Spotted a wrong prerequisite, a missing concept, a misattributed source, or a factual slip? Tell us — your review opens a tracked issue maintainers act on.