Sheaves in geometry and logic : a first introduction to topos theory
Author(s)
Bibliographic Information
Sheaves in geometry and logic : a first introduction to topos theory
(Universitext)
Springer-Verlag, c1992
- : us
- : gw
Available at / 61 libraries
-
Library, Research Institute for Mathematical Sciences, Kyoto University数研
: New YorkMAC||10||892016767
-
: us10092700921,10092701822,10092701823,
: New York411.6-L23927009206 -
Hokkaido University, Library, Graduate School of Science, Faculty of Science and School of Science図書
: usdc20:512/m2222070296236
-
No Libraries matched.
- Remove all filters.
Note
Bibliography: p. 603-612
Includes indexes
Description and Table of Contents
- Volume
-
: us ISBN 9780387977102
Description
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.
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
- Volume
-
: gw ISBN 9783540977100
Description
This introduction to the theory of toposes (developed by Grothendieck and followed up by Lawvere and Tierney) begins with illustrative examples and goes on to explain 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.
Table of Contents
Contents: Categories of Functors.- Sheaves of Sets.- Grothendieck Topologies and Sheaves.- First Properties of Elementary Topoi.- Basic Constructions of Topoi.- Topoi and Logic.- Geometric Morphisms.- Classifying Topoi.- Localic Topoi.- Geometric Logic and Classifying Topoi.- Appendix: Sites for Topoi.
by "Nielsen BookData"