Sheaves in geometry and logic
Subtitle: a first introduction to topos theory
By: Saunders Mac Lane, Ieke Moerdijk.
Contributors: Moerdijk, Ieke.
Series: Universitext
Publisher: Springer-Verlag
Published: 1992
Place of publication: New York
Language: eng
Number of pages: 627
Subjects: Toposes
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.
Notes: Includes bibliographical references (p. 603-612) and indexes.