Sheaves in geometry and logic: a first introduction to topos theory/ Saunders Mac Lane, Ieke Moerdijk.

By:

Mac Lane, Saunders, 1909-2005

Contributor(s):

Moerdijk, Ieke

Series: UniversitextPublication details: New York: Springer-Verlag, 1992.Description: xii, 627 pages: illustrations; 24 cmContent type:

text

Media type:

unmediated

Carrier type:

volume

ISBN:

0387977104
9780387977102
3540977104
9783540977100

Subject(s):

DDC classification:

512.55

Online resources:

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 .

Tags from this library: No tags from this library for this title. Log in to add tags.

Average rating: 0.0 (0 votes)

Holdings
Item type	Current library	Collection	Call number	Copy number	Status	Date due	Barcode
Books	Castorina Estantes Abertas (Open Shelves)	Livros (Books)	512.55 M113s 1992 IMPA (Browse shelf(Opens below))	1	Available		39063000689201

Includes bibliographical references (pages 603-612) and indexes.

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 .

There are no comments on this title.

to post a comment.