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:   Book : EnglishView all editions and formats
Database:WorldCat
Summary:
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 toposes and geometric morphisms and their relation to logic.
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

Material Type: Internet resource
Document Type: Book, Internet Resource
All Authors / Contributors: Saunders Mac Lane; Ieke Moerdijk
ISBN: 0387977104 9780387977102 3540977104 9783540977100
OCLC Number: 24428855
Description: xii, 627 pages : illustrations ; 24 cm.
Contents: 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.
Series Title: Universitext.
Other Titles: First introduction to topos theory
Responsibility: Saunders Mac Lane, Ieke Moerdijk.
More information:

Abstract:

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  Read more...

Reviews

Editorial reviews

Publisher Synopsis

From the reviews: "A beautifully written book, a long and well motivated book packed with well chosen clearly explained examples. ... authors have a rare gift for conveying an insider's view of the Read more...

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

Tags

Be the first.

Similar Items

Related Subjects:(3)

User lists with this item (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


<http://www.worldcat.org/oclc/24428855>
library:oclcnum"24428855"
library:placeOfPublication
library:placeOfPublication
rdf:typeschema:Book
rdf:typeschema:MediaObject
schema:about
schema:about
schema:about
schema:about
schema:about
schema:alternateName"First introduction to topos theory"@en
schema:contributor
schema:copyrightYear"1992"
schema:creator
schema:datePublished"1992"
schema:description"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 toposes and geometric morphisms and their relation to logic."@en
schema:exampleOfWork<http://worldcat.org/entity/work/id/806600207>
schema:inLanguage"en"
schema:isPartOf
schema:name"Sheaves in geometry and logic : a first introduction to topos theory"@en
schema:publication
schema:publisher
schema:workExample
schema:workExample
umbel:isLike<http://d-nb.info/921347642>
wdrs:describedby

Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.