Saunders MacLane,
Ieke Moerdijk
Springer New York
1e druk, 1994
9780387977102
Sheaves in Geometry and Logic
A First Introduction to Topos Theory
Specificaties
Paperback, 630 blz.
|
Engels
Springer New York |
1e druk, 1994
ISBN13: 9780387977102
Rubricering
Onderdeel van serie
Universitext
Levertijd ongeveer 8 werkdagen
Samenvatting
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.
Specificaties
ISBN13:9780387977102
Taal:Engels
Bindwijze:paperback
Aantal pagina's:630
Uitgever:Springer New York
Druk:1
Serie:Universitext
Inhoudsopgave
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