| Document Type
|
:
|
BL
|
| Record Number
|
:
|
655917
|
| Doc. No
|
:
|
dltt
|
| Main Entry
|
:
|
Mac Lane, Saunders,1909-2005.
|
| Title & Author
|
:
|
Sheaves in geometry and logic : : a first introduction to topos theory /\ Saunders Mac Lane, Ieke Moerdijk.
|
| Publication Statement
|
:
|
New York :: Springer-Verlag,, c1992.
|
| Series Statement
|
:
|
Universitext
|
| Page. NO
|
:
|
xii, 627 p. :: ill. ;; 24 cm.
|
| ISBN
|
:
|
0387977104 (New York : acid-free paper)
|
|
|
:
|
: 9780387977102 (New York : acid-free paper)
|
|
|
:
|
: 3540977104 (Berlin : acid-free paper)
|
|
|
:
|
: 9783540977100 (Berlin : acid-free paper)
|
| Bibliographies/Indexes
|
:
|
Includes bibliographical references (p. 603-612) and indexes.
|
| Abstract
|
:
|
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.
|
| Subject
|
:
|
Toposes.
|
| LC Classification
|
:
|
QA169.M335 1992
|
| Added Entry
|
:
|
Moerdijk, Ieke.
|
| Parallel Title
|
:
|
First introduction to topos theory
|