Subject Area: CS Basics (Logics, Discrete Mathematics)
in CIDEC Library.

### SHEAVES IN GEOMETRY AND LOGIC

A First Introduction to Topos Theory

Saunders **MACLANE**, 1909- , University of Chicago, IL, USA ;

Ieke **MOERDIJK** , University of Utrecht, The Netherlands
Series:
Universitext

**Publisher : **
Springer-Verlag - Berlin : New York

**Bibliographic : **

- Softcover 875g (acid-free paper)
- ISBN: 3-540-97710-4
- Corr. 2nd printing 1994, © 1992
- xii, 627 p. : ill. ; 24 cm
- Dewey No.: 512/.55 20

- Toposes
- M00009 Mathematics, All Fields
- M14050 Categories and Homological Algebra
- M13100 Logic,Foundations,Set Theory

**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.

**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.

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

**BOOK CATEGORY: ** Advanced Textbook

Changed 20/01/1997. Comments: monika@cs.ioc.ee