Topos Theory is a subject that stands at the junction of geometry, mathematical logic and theoretical computer science, and it derives much of its power from the interplay of ideas drawn from these different areas. Because of this, an account of topos theory which approaches the subject from one particular direction can only hope to give a partial picture; the aim of this compendium is to present as comprehensive an account as possible of all the main approaches and to thereby demonstrate the overall unity of the subject. The material is organized in such a way that readers interested in...

Topos Theory is an important branch of mathematical logic of interest to theoretical computer scientsts, logicians and philosophers who study the foundations of mathematics, and to those working in differential geometry and continum physics. This compendium contains material that was previously available only in specialist journals. This is likely to become the standard reference work for all those interested in the subject.