Matches in Harvard for { <http://id.lib.harvard.edu/aleph/002557609/catalog> ?p ?o. }
Showing items 1 to 26 of
26
with 100 items per page.
- catalog 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.".
- catalog contributor b3706863.
- catalog contributor b3706864.
- catalog created "1992.".
- catalog date "1992".
- catalog date "1992.".
- catalog dateCopyrighted "1992.".
- catalog description "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.".
- catalog description "Includes bibliographical references and index.".
- catalog description "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.".
- catalog extent "xii, 627 p. :".
- catalog identifier "0387977104".
- catalog isPartOf "Universitext".
- catalog issued "1992".
- catalog issued "1992.".
- catalog language "eng".
- catalog publisher "New York : Springer-Verlag,".
- catalog subject "512/.55 20".
- catalog subject "K-theory.".
- catalog subject "Logic, Symbolic and mathematical.".
- catalog subject "Mathematics.".
- catalog subject "QA169 .M335 1992".
- catalog subject "Toposes.".
- catalog tableOfContents "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.".
- catalog title "Sheaves in geometry and logic : a first introduction to topos theory / Saunders Mac Lane, Ieke Moerdijk.".
- catalog type "text".