Table of contents for Sketches of an elephant : a topos theory compendium / Peter T. Johnstone.
Bibliographic record and links to related information available from the Library of Congress catalog
Information from electronic data provided by the publisher. May be incomplete or contain other coding.
C. TOPOSES AS SPACES
C1. Sheaves on a locale
C2. Sheaves on a site
C3. Classes of geometric morphisms
C4. Local compactness and exponentiability
C5. Toposes as groupoids
D. TOPOSES AS THEORIES
D1. First-order categorical logic
D3. Classifying toposes
D4. Higher-order logic
D5. Aspects of finiteness
Index of notation
Library of Congress subject headings for this publication: