Sheaves in geometry and logic : a first introduction to topos theory

>> Google Books

所蔵情報QRコード

Sheaves in geometry and logic : a first introduction to topos theory / Saunders Mac Lane, Ieke Moerdijk

版:

2nd corr. printing

資料種別:

図書

出版情報:

New York ; Tokyo : Springer, 1994, c1992

形態:

xii, 629 p. ; 24 cm

シリーズ名:

Universitext <BA00021004>

著者名:

ISBN:

9780387977102 [0387977104] (: us)
9783540977100 [3540977104] (: gw)

書誌ID:

BA26361245

子書誌情報

フルテキスト

所蔵情報

他の版・巻

Sheaves in geometry and logic : a first introduction to topos theory (: us ; : gw)
Saunders Mac Lane, Ieke Moerdijk , Springer-Verlag , c1992

書誌詳細

注記:

Bibliography: p. 605-614
Incudes indexes
Some copies are not described edition and publication date

主題:

Toposes

言語:

英語

目次情報:

Preface

Prologue

Categorical Preliminaries

Categories of Functors / 1：

Sheaves of Sets / 2：

Grothendieck Topologies and Sheaves / 3：

First Properties of Elementary Topoi / 4：

Basic Constructions of Topoi / 5：

Topoi and Logic / 6：

Geometric Morphisms / 7：

Classifying Topoi / 8：

Localic Topoi / 9：

Geometric Logic and Classifying Topoi / 10：

Appendix: Sites for Topoi

Epilogue

Bibliography

Index of Notations

Index

Preface

Prologue

Categorical Preliminaries

Categories of Functors / 1：

Sheaves of Sets / 2：

Grothendieck Topologies and Sheaves / 3：

続きを見る

東工大ブックレビュー

類似資料:

1 図書 Sheaves in geometry and logic : a first introduction to topos theory (: us ; : gw) Mac Lane, Saunders, 1909-, Moerdijk, Ieke Springer-Verlag	7 図書 Simplicial and dendroidal homotopy theory Heuts, Gijs, Moerdijk, Ieke Springer
2 電子ブック Sheaves in geometry and logic : a first introduction to topos theory (: electronic bk) Mac Lane, Saunders, 1909-, Moerdijk, Ieke Springer-Verlag	8 電子ブック Simplicial and Dendroidal Homotopy Theory Heuts, Moerdijk, Ieke SpringerLink Books - AutoHoldings, Springer International Publishing
3 図書 Toposes and local set theories : an introduction Bell, J. L. (John Lane) Clarendon Press, Oxford University Press	9 図書 Introduction to foliations and Lie groupoids (: hardback) Moerdijk, Ieke, Mrčun, J., 1966- Cambridge University Press
4 図書 Topos theory Johnstone, P. T. Academic Press	10 電子ブック Classifying Spaces and Classifying Topoi Moerdijk, Ieke SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg
5 図書 Toposes, algebraic geometry and logic (: u.s. ; : gw) Bucur, Ion, 1930-1976, Lawvere, F. William, 1937-, Dalhousie University Springer-Verlag	11 図書 Homology (: Berlin ; : New York) Mac Lane, Saunders, 1909- Springer-Verlag
6 図書 Eilenberg--Mac Lane : collected works (: alk. paper ; : paperback) Eilenberg, Samuel, Mac Lane, Saunders, 1909- Academic Press	12 図書 Homology Mac Lane, Saunders, 1909- Springer-Verlag