Handbook of Categorical Algebra
Handbook of Categorical Algebra
Volume 3: Sheaf Theory
Francis Borceux, Université Catholique de Louvain, Belgium
January 2011
3. Sheaf Theory
This ISBN is for an eBook version which is distributed on our behalf by a third party.
Adobe eBook Reader
9780511834035
This third volume turns to topos theory and the idea of sheaves. The theory of locales is considered first, and Grothendieck toposes are introduced. Notions of sketchability and accessible categories are discussed, and an axiomatic generalization of the category of sheaves is given.
- Unique reference
- Comprehensive coverage
- Self-contained, straightforward presentation
Reviews & endorsements
" . . . these volumes will be of enormous value to graduate students in pure or applied category theory." Martin Hyland, Mathematical Reviews
Product details
January 2011Adobe eBook Reader
9780511834035
0 pages
0kg
162 b/w illus. 94 exercises
This ISBN is for an eBook version which is distributed on our behalf by a third party.
Table of Contents
- Preface
- Introduction to the handbook
- 1. Locales
- 2. Sheaves
- 3. Grothendieck toposes
- 4. The classifying topos
- 5. Elementary toposes
- 6. Internal logic of a topos
- 7. The law of excluded middle
- 8. The axiom of infinity
- 9. Sheaves in a topos
- Index.
