Table of Contents

C1: 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
Department of Pure Mathematics & Mathematical Statistics
University of Cambridge
Cambridge
CB3 0BW