ENGLISH

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

By Saunders MacLane , Ieke Moerdijk

Book information

Publisher
Springer
Year
1994
ISBN
9780387977102, 0387977104
LCC
QA169 .M335 1992
Open Library ID
OL1553661M
Language
english
Format
DJVU
Filesize
5 MB (4830992 bytes)
Series
Universitext
Edition
Corrected
Pages
320\320
Library
Kolxo3
DPI
300
Time added
2009-07-20 03:45:11

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.

Similar books