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.


Counter
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
D2. Sketches
D3. Classifying toposes
D4. Higher-order logic
D5. Aspects of finiteness
Bibliography
Index of notation
General index



Library of Congress subject headings for this publication:
Toposes.