Table of Contents

Volume OneA1: Regular and Cartesian Closed Categories
A2: Toposes - Basic Theory
A3: Allegories
A4: Geometric Morphisms - Basic Theory
B1: Fibrations and Indexed Categories
B2: Internal and Locally Internal Categories
B3: Toposes over a Base
B4: BTop/S as a 2-Category
Volume TwoC1: Sheaves on a Locale
C2: Sheaves on a Site
C3: Classes of Geometric Morphisms
C4: Local Compactness and Exponentiability
C5: Toposes as Groupoids
D1: First-Order Categorical Logic
D2: Sketches
D3: Classifying Toposes
D4: Higher-Order Logic
D5: Aspects of Finiteness

About the Author

Dr P.T. Johnstone
Reader in the Foundations of Mathematics
Dept of Pure Mathematics & Mathematical Statistics
University of Cambridge
Cambridge
CB3 0BW

Reviews

Specialists of topos theory were expecting this Elephant since many years. It is extremely good news that the first two volumes already appeared, without waiting for the completion of the third one. Bulletin of the Belgian Mathematical Society 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. ? News (The Newsletter for Philosophical Logic and Its Applications)