Close Notification

Your cart does not contain any items

Sheaves in Geometry and Logic: A First Introduction to Topos Theory

Saunders MacLane Ieke Moerdijk



We can order this in for you
How long will it take?


Springer Verlag
01 May 1992
Mathematics & Sciences; Mathematical logic; Geometry; Topology
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.
By:   Saunders MacLane, Ieke Moerdijk
Imprint:   Springer Verlag
Country of Publication:   United States
Dimensions:   Height: 235mm,  Width: 155mm,  Spine: 33mm
Weight:   1.990kg
ISBN:   9780387977102
ISBN 10:   0387977104
Series:   Universitext
Pages:   641
Publication Date:   01 May 1992
Audience:   College/higher education ,  Professional and scholarly ,  Professional & Vocational ,  A / AS level ,  Further / Higher Education
Format:   Paperback
Publisher's Status:   Active
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

Reviews for Sheaves in Geometry and Logic: A First Introduction to Topos Theory

From the reviews: <p> A beautifully written book, a long and well motivated book packed with well chosen clearly explained examples. a ] authors have a rare gift for conveying an insidera (TM)s view of the subject from the start. This book is written in the best Mac Lane style, very clear and very well organized. a ] it gives very explicit descriptions of many advanced topics--you can learn a great deal from this book that, before it was published, you could only learn by knowing researchers in the field. (Wordtrade, 2008)

See Also