Mac Lane Saunders

Sheaves in geometry and logic : a first introduction to topos theory - New York: Springer, [c1994] - 627 p - Universitext .

Categorical Preliminaries
1. Categories of Functors
2. Sheaves of Sets
3. Grothendieck Topologies and Sheaves
4. First Properties of Elementary Topoi
5. Basic Constructions of Topoi
6. Topoi and Logic
7. Geometric Morphisms
8. Classifying Topoi
9. Localic Topoi
10. Geometric Logic and Classifying Topoi

9780387977102

QA169