skip to content
Sheaves in geometry and logic : a first introduction to topos theory Preview this item
ClosePreview this item
Checking...

Sheaves in geometry and logic : a first introduction to topos theory

Author: Saunders Mac Lane; Ieke Moerdijk
Publisher: New York : Springer-Verlag, ©1992.
Series: Universitext
Edition/Format:   eBook : Document : EnglishView all editions and formats
Summary:
We dedicate this book to the memory of J. Frank Adams. His clear insights have inspired many mathematicians, including both of us. In January 1989, when the first draft of our book had been completed, we heard the sad news of his untimely death. This has cast a shadow on our subsequent work. Our views of topos theory, as presented here, have been shaped by continued study, by conferences, and by many personal  Read more...
Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

Find a copy online

Links to this item

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Genre/Form: Electronic books
Additional Physical Format: Print version:
Mac Lane, Saunders, 1909-2005.
Sheaves in geometry and logic.
New York : Springer-Verlag, ©1992
(DLC) 91033709
Material Type: Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Saunders Mac Lane; Ieke Moerdijk
ISBN: 0387977104 9780387977102 3540977104 9783540977100
OCLC Number: 828776278
Description: 1 online resource (xii, 627 pages) : illustrations
Contents: Prologue --
Categorial Preliminaries --
I. Categories of Functors --
1. The Categories at Issue --
2. Pullbacks --
3. Characteristic Functions of Subobjects --
4. Typical Subobject Classifiers --
5. Colimits --
6. Exponentials --
7. Propositional Calculus --
8. Heyting Algebras --
9. Quantifiers as Adjoints --
Exercises --
II. Sheaves of Sets --
1. Sheaves --
2. Sieves and Sheaves --
3. Sheaves and Manifolds --
4. Bundles --
5. Sheaves and Cross-Sections --
6. Sheaves as Étale Spaces --
7. Sheaves with Algebraic Structure --
8. Sheaves are Typical --
9. Inverse Image Sheaf --
Exercises --
III. Grothendieck Topologies and Sheaves --
1. Generalized Neighborhoods --
2. Grothendieck Topologies --
3. The Zariski Site --
4. Sheaves on a Site --
5. The Associated Sheaf Functor --
6. First Properties of the Category of Sheaves --
7. Subobject Classifiers for Sites --
8. Subsheaves --
9. Continuous Group Actions --
Exercises --
IV. First Properties of Elementary Topoi --
1. Definition of a Topos --
2. The Construction of Exponentials --
3. Direct Image --
4. Monads and Beck's Theorem --
5. The Construction of Colimits --
6. Factorization and Images --
7. The Slice Category as a Topos --
8. Lattice and Heyting Algebra Objects in a Topos --
9. The Beck-Chevalley Condition --
10. Injective Objects --
Exercises --
V. Basic Constructions of Topoi --
1. Lawvere-Tierney Topologies --
2. Sheaves --
3. The Associated Sheaf Functor --
4. Lawvere-Tierney Subsumes Grothendieck --
5. Internal Versus External --
6. Group Actions --
7. Category Actions --
8. The Topos of Coalgebras --
9. The Filter-Quotient Construction --
Exercises --
VI. Topoi and Logic --
1. The Topos of Sets --
2. The Cohen Topos --
3. The Preservation of Cardinal Inequalities --
4. The Axiom of Choice --
5. The Mitchell-Bénabou Language --
6. Kripke-Joyal Semantics --
7. Sheaf Semantics --
8. Real Numbers in a Topos --
9. Brouwer's Theorem: All Functions are Continuous --
10. Topos-Theoretic and Set-Theoretic Foundations --
Exercises --
VII. Geometric Morphisms --
1. Geometric Morphisms and Basic Examples --
2. Tensor Products --
3. Group Actions --
4. Embeddings and Surjections --
5. Points --
6. Filtering Functors --
7. Morphisms into Grothendieck Topoi --
8. Filtering Functors into a Topos --
9. Geometric Morphisms as Filtering Functors --
10. Morphisms Between Sites --
Exercises --
VIII. Classifying Topoi --
1. Classifying Spaces in Topology --
2. Torsors --
3. Classifying Topoi --
4. The Object Classifier --
5. The Classifying Topos for Rings --
6. The Zariski Topos Classifies Local Rings --
7. Simplicial Sets --
8. Simplicial Sets Classify Linear Orders --
Exercises --
IX. Localic Topoi --
1. Locales --
2. Points and Sober Spaces --
3. Spaces from Locales --
4. Embeddings and Surjections of Locales --
5. Localic Topoi --
6. Open Geometric Morphisms --
7. Open Maps of Locales --
8. Open Maps and Sites --
9. The Diaconescu Cover and Barr's Theorem --
10. The Stone Space of a Complete Boolean Algebra --
11. Deligne's Theorem --
Exercises --
X. Geometric Logic and Classifying Topoi --
1. First-Order Theories --
2. Models in Topoi --
3. Geometric Theories --
4. Categories of Definable Objects --
5. Syntactic Sites --
6. The Classifying Topos of a Geometric Theory --
7. Universal Models --
Exercises --
Appendix: Sites for Topoi --
Epilogue --
Index of Notation.
Series Title: Universitext
Responsibility: Saunders Mac Lane, Ieke Moerdijk.

Abstract:

An introduction to the theory of toposes which 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  Read more...

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.

Similar Items

Related Subjects:(1)

Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


\n\n

Primary Entity<\/h3>\n
<http:\/\/www.worldcat.org\/oclc\/828776278<\/a>> # Sheaves in geometry and logic : a first introduction to topos theory<\/span>\n\u00A0\u00A0\u00A0\u00A0a \nschema:Book<\/a>, schema:MediaObject<\/a>, schema:CreativeWork<\/a> ;\u00A0\u00A0\u00A0\nlibrary:oclcnum<\/a> \"828776278<\/span>\" ;\u00A0\u00A0\u00A0\nlibrary:placeOfPublication<\/a> <http:\/\/id.loc.gov\/vocabulary\/countries\/nyu<\/a>> ;\u00A0\u00A0\u00A0\nlibrary:placeOfPublication<\/a> <http:\/\/dbpedia.org\/resource\/New_York_City<\/a>> ; # New York<\/span>\n\u00A0\u00A0\u00A0\nschema:about<\/a> <http:\/\/dewey.info\/class\/512.55\/e20\/<\/a>> ;\u00A0\u00A0\u00A0\nschema:about<\/a> <http:\/\/id.worldcat.org\/fast\/1152703<\/a>> ; # Toposes<\/span>\n\u00A0\u00A0\u00A0\nschema:bookFormat<\/a> schema:EBook<\/a> ;\u00A0\u00A0\u00A0\nschema:contributor<\/a> <http:\/\/viaf.org\/viaf\/66538506<\/a>> ; # Ieke Moerdijk<\/span>\n\u00A0\u00A0\u00A0\nschema:copyrightYear<\/a> \"1992<\/span>\" ;\u00A0\u00A0\u00A0\nschema:creator<\/a> <http:\/\/viaf.org\/viaf\/101828380<\/a>> ; # Saunders Mac Lane<\/span>\n\u00A0\u00A0\u00A0\nschema:datePublished<\/a> \"1992<\/span>\" ;\u00A0\u00A0\u00A0\nschema:description<\/a> \"We dedicate this book to the memory of J. Frank Adams. His clear insights have inspired many mathematicians, including both of us. In January 1989, when the first draft of our book had been completed, we heard the sad news of his untimely death. This has cast a shadow on our subsequent work. Our views of topos theory, as presented here, have been shaped by continued study, by conferences, and by many personal contacts with friends and colleagues-including especially O. Bruno, P. Freyd, J.M.E. Hyland, P.T. Johnstone, A. Joyal, A. Kock, F.W. Lawvere, G.E. Reyes, R Solovay, R Swan, RW. Thomason, M. Tierney, and G.C. Wraith. Our presentation combines ideas and results from these people and from many others, but we have not endeavored to specify the various original sources. Moreover, a number of people have assisted in our work by pro\u00AD viding helpful comments on portions of the manuscript. In this respect, we extend our hearty thanks in particular to P. Corazza, K. Edwards, J. Greenlees, G. Janelidze, G. Lewis, and S. Schanuel.<\/span>\"@en<\/a> ;\u00A0\u00A0\u00A0\nschema:description<\/a> \"Prologue -- Categorial Preliminaries -- I. Categories of Functors -- 1. The Categories at Issue -- 2. Pullbacks -- 3. Characteristic Functions of Subobjects -- 4. Typical Subobject Classifiers -- 5. Colimits -- 6. Exponentials -- 7. Propositional Calculus -- 8. Heyting Algebras -- 9. Quantifiers as Adjoints -- Exercises -- II. Sheaves of Sets -- 1. Sheaves -- 2. Sieves and Sheaves -- 3. Sheaves and Manifolds -- 4. Bundles -- 5. Sheaves and Cross-Sections -- 6. Sheaves as \u00C9tale Spaces -- 7. Sheaves with Algebraic Structure -- 8. Sheaves are Typical -- 9. Inverse Image Sheaf -- Exercises -- III. Grothendieck Topologies and Sheaves -- 1. Generalized Neighborhoods -- 2. Grothendieck Topologies -- 3. The Zariski Site -- 4. Sheaves on a Site -- 5. The Associated Sheaf Functor -- 6. First Properties of the Category of Sheaves -- 7. Subobject Classifiers for Sites -- 8. Subsheaves -- 9. Continuous Group Actions -- Exercises -- IV. First Properties of Elementary Topoi -- 1. Definition of a Topos -- 2. The Construction of Exponentials -- 3. Direct Image -- 4. Monads and Beck\'s Theorem -- 5. The Construction of Colimits -- 6. Factorization and Images -- 7. The Slice Category as a Topos -- 8. Lattice and Heyting Algebra Objects in a Topos -- 9. The Beck-Chevalley Condition -- 10. Injective Objects -- Exercises -- V. Basic Constructions of Topoi -- 1. Lawvere-Tierney Topologies -- 2. Sheaves -- 3. The Associated Sheaf Functor -- 4. Lawvere-Tierney Subsumes Grothendieck -- 5. Internal Versus External -- 6. Group Actions -- 7. Category Actions -- 8. The Topos of Coalgebras -- 9. The Filter-Quotient Construction -- Exercises -- VI. Topoi and Logic -- 1. The Topos of Sets -- 2. The Cohen Topos -- 3. The Preservation of Cardinal Inequalities -- 4. The Axiom of Choice -- 5. The Mitchell-B\u00E9nabou Language -- 6. Kripke-Joyal Semantics -- 7. Sheaf Semantics -- 8. Real Numbers in a Topos -- 9. Brouwer\'s Theorem: All Functions are Continuous -- 10. Topos-Theoretic and Set-Theoretic Foundations -- Exercises -- VII. Geometric Morphisms -- 1. Geometric Morphisms and Basic Examples -- 2. Tensor Products -- 3. Group Actions -- 4. Embeddings and Surjections -- 5. Points -- 6. Filtering Functors -- 7. Morphisms into Grothendieck Topoi -- 8. Filtering Functors into a Topos -- 9. Geometric Morphisms as Filtering Functors -- 10. Morphisms Between Sites -- Exercises -- VIII. Classifying Topoi -- 1. Classifying Spaces in Topology -- 2. Torsors -- 3. Classifying Topoi -- 4. The Object Classifier -- 5. The Classifying Topos for Rings -- 6. The Zariski Topos Classifies Local Rings -- 7. Simplicial Sets -- 8. Simplicial Sets Classify Linear Orders -- Exercises -- IX. Localic Topoi -- 1. Locales -- 2. Points and Sober Spaces -- 3. Spaces from Locales -- 4. Embeddings and Surjections of Locales -- 5. Localic Topoi -- 6. Open Geometric Morphisms -- 7. Open Maps of Locales -- 8. Open Maps and Sites -- 9. The Diaconescu Cover and Barr\'s Theorem -- 10. The Stone Space of a Complete Boolean Algebra -- 11. Deligne\'s Theorem -- Exercises -- X. Geometric Logic and Classifying Topoi -- 1. First-Order Theories -- 2. Models in Topoi -- 3. Geometric Theories -- 4. Categories of Definable Objects -- 5. Syntactic Sites -- 6. The Classifying Topos of a Geometric Theory -- 7. Universal Models -- Exercises -- Appendix: Sites for Topoi -- Epilogue -- Index of Notation.<\/span>\"@en<\/a> ;\u00A0\u00A0\u00A0\nschema:exampleOfWork<\/a> <http:\/\/worldcat.org\/entity\/work\/id\/806600207<\/a>> ;\u00A0\u00A0\u00A0\nschema:genre<\/a> \"Electronic books<\/span>\"@en<\/a> ;\u00A0\u00A0\u00A0\nschema:inLanguage<\/a> \"en<\/span>\" ;\u00A0\u00A0\u00A0\nschema:isPartOf<\/a> <http:\/\/experiment.worldcat.org\/entity\/work\/data\/806600207#Series\/universitext<\/a>> ; # Universitext<\/span>\n\u00A0\u00A0\u00A0\nschema:isSimilarTo<\/a> <http:\/\/worldcat.org\/entity\/work\/data\/806600207#CreativeWork\/sheaves_in_geometry_and_logic<\/a>> ;\u00A0\u00A0\u00A0\nschema:name<\/a> \"Sheaves in geometry and logic : a first introduction to topos theory<\/span>\"@en<\/a> ;\u00A0\u00A0\u00A0\nschema:productID<\/a> \"828776278<\/span>\" ;\u00A0\u00A0\u00A0\nschema:publication<\/a> <http:\/\/www.worldcat.org\/title\/-\/oclc\/828776278#PublicationEvent\/new_york_springer_verlag_1992<\/a>> ;\u00A0\u00A0\u00A0\nschema:publisher<\/a> <http:\/\/experiment.worldcat.org\/entity\/work\/data\/806600207#Agent\/springer_verlag<\/a>> ; # Springer-Verlag<\/span>\n\u00A0\u00A0\u00A0\nschema:url<\/a> <https:\/\/doi.org\/10.1007\/978-1-4612-0927-0<\/a>> ;\u00A0\u00A0\u00A0\nschema:url<\/a> <http:\/\/link.springer.com\/openurl?genre=book&isbn=978-0-387-97710-2<\/a>> ;\u00A0\u00A0\u00A0\nschema:workExample<\/a> <http:\/\/worldcat.org\/isbn\/9780387977102<\/a>> ;\u00A0\u00A0\u00A0\nschema:workExample<\/a> <http:\/\/worldcat.org\/isbn\/9783540977100<\/a>> ;\u00A0\u00A0\u00A0\nwdrs:describedby<\/a> <http:\/\/www.worldcat.org\/title\/-\/oclc\/828776278<\/a>> ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n\n

Related Entities<\/h3>\n
<http:\/\/dbpedia.org\/resource\/New_York_City<\/a>> # New York<\/span>\n\u00A0\u00A0\u00A0\u00A0a \nschema:Place<\/a> ;\u00A0\u00A0\u00A0\nschema:name<\/a> \"New York<\/span>\" ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/dewey.info\/class\/512.55\/e20\/<\/a>>\u00A0\u00A0\u00A0\u00A0a \nschema:Intangible<\/a> ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/experiment.worldcat.org\/entity\/work\/data\/806600207#Agent\/springer_verlag<\/a>> # Springer-Verlag<\/span>\n\u00A0\u00A0\u00A0\u00A0a \nbgn:Agent<\/a> ;\u00A0\u00A0\u00A0\nschema:name<\/a> \"Springer-Verlag<\/span>\" ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/experiment.worldcat.org\/entity\/work\/data\/806600207#Series\/universitext<\/a>> # Universitext<\/span>\n\u00A0\u00A0\u00A0\u00A0a \nbgn:PublicationSeries<\/a> ;\u00A0\u00A0\u00A0\nschema:hasPart<\/a> <http:\/\/www.worldcat.org\/oclc\/828776278<\/a>> ; # Sheaves in geometry and logic : a first introduction to topos theory<\/span>\n\u00A0\u00A0\u00A0\nschema:name<\/a> \"Universitext<\/span>\" ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/id.loc.gov\/vocabulary\/countries\/nyu<\/a>>\u00A0\u00A0\u00A0\u00A0a \nschema:Place<\/a> ;\u00A0\u00A0\u00A0\ndcterms:identifier<\/a> \"nyu<\/span>\" ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/id.worldcat.org\/fast\/1152703<\/a>> # Toposes<\/span>\n\u00A0\u00A0\u00A0\u00A0a \nschema:Intangible<\/a> ;\u00A0\u00A0\u00A0\nschema:name<\/a> \"Toposes<\/span>\"@en<\/a> ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/viaf.org\/viaf\/101828380<\/a>> # Saunders Mac Lane<\/span>\n\u00A0\u00A0\u00A0\u00A0a \nschema:Person<\/a> ;\u00A0\u00A0\u00A0\nschema:birthDate<\/a> \"1909<\/span>\" ;\u00A0\u00A0\u00A0\nschema:deathDate<\/a> \"2005<\/span>\" ;\u00A0\u00A0\u00A0\nschema:familyName<\/a> \"Mac Lane<\/span>\" ;\u00A0\u00A0\u00A0\nschema:givenName<\/a> \"Saunders<\/span>\" ;\u00A0\u00A0\u00A0\nschema:name<\/a> \"Saunders Mac Lane<\/span>\" ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/viaf.org\/viaf\/66538506<\/a>> # Ieke Moerdijk<\/span>\n\u00A0\u00A0\u00A0\u00A0a \nschema:Person<\/a> ;\u00A0\u00A0\u00A0\nschema:familyName<\/a> \"Moerdijk<\/span>\" ;\u00A0\u00A0\u00A0\nschema:givenName<\/a> \"Ieke<\/span>\" ;\u00A0\u00A0\u00A0\nschema:name<\/a> \"Ieke Moerdijk<\/span>\" ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/worldcat.org\/entity\/work\/data\/806600207#CreativeWork\/sheaves_in_geometry_and_logic<\/a>>\u00A0\u00A0\u00A0\u00A0a \nschema:CreativeWork<\/a> ;\u00A0\u00A0\u00A0\nrdfs:label<\/a> \"Sheaves in geometry and logic.<\/span>\" ;\u00A0\u00A0\u00A0\nschema:description<\/a> \"Print version:<\/span>\" ;\u00A0\u00A0\u00A0\nschema:isSimilarTo<\/a> <http:\/\/www.worldcat.org\/oclc\/828776278<\/a>> ; # Sheaves in geometry and logic : a first introduction to topos theory<\/span>\n\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/worldcat.org\/isbn\/9780387977102<\/a>>\u00A0\u00A0\u00A0\u00A0a \nschema:ProductModel<\/a> ;\u00A0\u00A0\u00A0\nschema:isbn<\/a> \"0387977104<\/span>\" ;\u00A0\u00A0\u00A0\nschema:isbn<\/a> \"9780387977102<\/span>\" ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/worldcat.org\/isbn\/9783540977100<\/a>>\u00A0\u00A0\u00A0\u00A0a \nschema:ProductModel<\/a> ;\u00A0\u00A0\u00A0\nschema:isbn<\/a> \"3540977104<\/span>\" ;\u00A0\u00A0\u00A0\nschema:isbn<\/a> \"9783540977100<\/span>\" ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/www.worldcat.org\/title\/-\/oclc\/828776278<\/a>>\u00A0\u00A0\u00A0\u00A0a \ngenont:InformationResource<\/a>, genont:ContentTypeGenericResource<\/a> ;\u00A0\u00A0\u00A0\nschema:about<\/a> <http:\/\/www.worldcat.org\/oclc\/828776278<\/a>> ; # Sheaves in geometry and logic : a first introduction to topos theory<\/span>\n\u00A0\u00A0\u00A0\nschema:dateModified<\/a> \"2019-06-14<\/span>\" ;\u00A0\u00A0\u00A0\nvoid:inDataset<\/a> <http:\/\/purl.oclc.org\/dataset\/WorldCat<\/a>> ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n