このページのリンク

利用統計

  • このページへのアクセス:438回

  • 貸出数:31回
    (1年以内の貸出数:2回)

<図書>
Sheaves in geometry and logic : a first introduction to topos theory

責任表示 Saunders Mac Lane, Ieke Moerdijk
シリーズ Universitext
データ種別 図書
出版者 New York ; Tokyo : Springer-Verlag
出版年 c1992
本文言語 英語
大きさ xii, 627 p. : ill. ; 24 cm
概要 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 the...ry. 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. 続きを見る
電子版へのリンク

所蔵情報


理系図1F 開架 068252192011131 411.6/L 23 1992

理系図3F 数理独自 068222194002372 MACL/40/7 1992

理系図 自動書庫 068222192002976 415/Ma 13 1992

書誌詳細

一般注記 Bibliography: p. 603-612
Incudes indexes
著者標目 *Mac Lane, Saunders, 1909-
Moerdijk, Ieke
件 名 LCSH:Toposes
分 類 LCC:QA169
DC20:512/.55
NDC8:411.6
書誌ID 1000034591
ISBN 0387977104
NCID BA17135970
巻冊次 : us ; ISBN:0387977104
: gw ; ISBN:3540977104
登録日 2009.09.10
更新日 2017.02.18

類似資料

この資料を見た人はこんな資料も見ています

この資料を借りた人はこんな資料も借りています