An edition of Sheaves in geometry and logic
(1992)
Sheaves in Geometry and Logic
A First Introduction to Topos Theory (Universitext)
by Saunders Mac Lane, Saunders MacLane, and Ieke Moerdijk
- 2 Want to read
Share
×Close
This book is an introduction to the theory of toposes, as first developed by Grothendieck and later developed by Lawvere and Tierney. Beginning with several illustrative examples, the book 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. This is the first text to address all of these various aspects of topos theory at the graduate student level.
Check nearby libraries
Buy this book
Previews available in: English
| Edition | Availability |
|---|---|
1
Sheaves in Geometry and Logic: A First Introduction to Topos Theory
2012, Springer London, Limited
in English
1461209277 9781461209270
|
zzzz
|
2
Sheaves in Geometry and Logic: A First Introduction to Topos Theory (Universitext)
October 27, 1994, Springer
in English
0387977104 9780387977102
|
aaaa
|
3
Sheaves in geometry and logic: a first introduction to topos theory
1992, Springer-Verlag
in English
0387977104 9780387977102
|
zzzz
|
Book Details
First Sentence
"Many constructions on various mathematical objects depend not just on the elements of those objects but also on the morphisms between them."
Edition Identifiers
Work Identifiers
Community Reviews (0)
Lists
| April 8, 2025 | Edited by MARC Bot | import existing book |
| February 25, 2022 | Edited by ImportBot | import existing book |
| July 30, 2019 | Edited by MARC Bot | associate edition with work OL2739886W |
| April 28, 2010 | Edited by Open Library Bot | Linked existing covers to the work. |
| December 10, 2009 | Created by WorkBot | add works page |