%0 Generic %1 maclane1992sheaves %A Mac Lane, Saunders %A Moerdijk, Ieke %C New York, NY %D 1992 %I Springer New York %K category logic sheaf topos %T Sheaves in Geometry and Logic a First Introduction to Topos Theory %U http://link.springer.com/book/10.1007/978-1-4612-0927-0 %X 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. %@ 9781461209270 1461209277

@electronic{maclane1992sheaves, abstract = {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.}, added-at = {2014-12-09T04:43:37.000+0100}, address = {New York, NY}, author = {Mac Lane, Saunders and Moerdijk, Ieke}, biburl = {https://www.bibsonomy.org/bibtex/204da65824a9167c24308d7d8713ec866/t.uemura}, description = {Sheaves in Geometry and Logic - Springer}, interhash = {8c34c6225d66979222545a789f490607}, intrahash = {04da65824a9167c24308d7d8713ec866}, isbn = {9781461209270 1461209277}, keywords = {category logic sheaf topos}, publisher = {Springer New York}, refid = {853260961}, timestamp = {2014-12-09T04:43:37.000+0100}, title = {Sheaves in Geometry and Logic a First Introduction to Topos Theory}, url = {http://link.springer.com/book/10.1007/978-1-4612-0927-0}, year = 1992 }