Sketches of an Elephant: A Topos Theory Compendium

Topos Theory is an important branch of mathematical logic of interest to theoretical computer scientists, logicians and philosophers who study the foundations of mathematics, and to those working in differential geometry and continuum physics. This compendium presents a comprehensive account of all the main approaches.