Sheaves in geometry and logic : a first introduction to topos theory
Saunders Mac Lane, Ieke Moerdijk
Sheaves arose in geometry as coefficients for cohomology and as descriptions of the functions appropriate to various kinds of manifolds. Sheaves also appear in logic as carriers for models of set theory. This text presents topos theory as it has developed from the study of sheaves. Beginning with several examples, it 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.
种类:
年:
1999
出版社:
Springer-Verlag
语言:
english
页:
638
ISBN 10:
3540977104
ISBN 13:
9783540977100
系列:
Universitext
文件:
PDF, 23.46 MB
IPFS:
,
english, 1999
因版权方投诉,本书无法下载