- Shopping Bag ( 0 items )
-
All (14) from $39.15
-
New (7) from $64.68
-
Used (7) from $39.15
More About This Textbook
Overview
Sheaves arose in geometry as coefficients for cohomology and as descriptions of the functions appropriate to various kinds of manifolds. Sheaves also appear in logic as carriers for models of set theory. This text presents topos theory as it has developed from the study of sheaves. Beginning with several examples, it explains the underlying ideas of topology and sheaf theory as well as the general theory of elementary toposes and geometric morphisms and their relation to logic.
Editorial Reviews
Booknews
This graduate-level text presents topos theory as it has developed from the study of sheaves and is unique in its scope, discussing such topics as the sheafification process and the properties of an elementary topos, applications to axiomatic set theory and use in forcing, geometric morphisms and the construction of classifying topoi. Annotation c. Book News, Inc., Portland, OR (booknews.com)Product Details
Related Subjects
Table of Contents
Preface; Prologue; 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; Appendix: Sites for Topoi; Epilogue; Bibliography; Index of Notations; Index