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.

「Nielsen BookData」より

[目次]

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

「Nielsen BookData」より

この本の情報

書名 Sheaves in geometry and logic : a first introduction to topos theory
著作者等 MacLane, Saunders
Moerdijk, Ieke
シリーズ名 Universitext
出版元 Springer
刊行年月 1994, c1992
版表示 2nd corr. printing
ページ数 xii, 629 p.
大きさ 24 cm
ISBN 3540977104
0387977104
NCID BA26361245
※クリックでCiNii Booksを表示
言語 英語
出版国 アメリカ合衆国
この本を: 
このエントリーをはてなブックマークに追加

このページを印刷

外部サイトで検索

この本と繋がる本を検索

ウィキペディアから連想