close
1.

図書
図書
1. Topos theory
P.T. Johnstone
出版情報: London ; Tokyo : Academic Press, 1977  xxiii, 367 p. ; 24 cm
シリーズ名: L.M.S. monographs ; 10
所蔵情報: loading…
2.

図書
図書
2. Topoi : the categorial analysis of logic
Robert Goldblatt
出版情報: Amsterdam ; New York : North-Holland Pub. Co , New York : sole distributors for the U.S.A. and Canada, Elsevier North-Holland, 1979  xv, 486 p. ; 23 cm
シリーズ名: Studies in logic and the foundations of mathematics ; v. 98
所蔵情報: loading…
3.

図書
図書
3. Sheaves in geometry and logic : a first introduction to topos theory (: us ; : gw)
Saunders Mac Lane, Ieke Moerdijk
出版情報: New York ; Tokyo : Springer-Verlag, c1992  xii, 627 p. ; 24 cm
シリーズ名: Universitext
所蔵情報: loading…
目次情報: 続きを見る
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
4.

図書
図書
4. Elementary categories, elementary toposes
Colin McLarty
出版情報: Oxford : Clarendon Press, 1992  xiii, 265 p. ; 25 cm
シリーズ名: Oxford logic guides ; 21
所蔵情報: loading…
目次情報: 続きを見る
Introduction
Categories / Part 1：
Rudimentary structures in a category
Products, equalizers, and their duals
Groups
Sub-objects, pullbacks, and limits
Relations
Cartesian closed categories
Product operators and others
The Category Of Categories / Part 2：
Functors and categories
Natural transformations
Adjunctions
Slice categories
Mathematical foundations
Toposes / Part 3：
Basics
The internal language
A soundness proof for topos logic
From the internal language to the topos
The fundamental theorem
External semantics
Natural number objects
Categories in a topos
Topologies
Some Toposes / Part 4：
Sets
Synthetic differential geometry
The effective topos
Relations in regular categories
Further reading
Bibliography
Index
Introduction
Categories / Part 1：
Rudimentary structures in a category
5.

図書
図書
5. Lecture notes on topoi and quasitopoi
Oswald Wyler
出版情報: Singapore ; Teaneck : World Scientific, c1991  xi, 290 p. ; 24 cm
所蔵情報: loading…
6.

図書
図書
6. Toposes and local set theories : an introduction
J.L. Bell
出版情報: Oxford : Clarendon Press , Tokyo : Oxford University Press, 1988  xii, 267 p. ; 24 cm
シリーズ名: Oxford logic guides ; 14
所蔵情報: loading…
目次情報: 続きを見る
Elements of Category Theory / 1：
Introducing Toposes / 2：
Local Set Theories / 3：
Fundamental Properties of Toposes / 4：
From Logic to Sheaves / 5：
Locale-Valued Sets / 6：
Natural Numbers and Real Numbers / 7：
Epilogue: The Wider Significance of Topos Theory / 8：
Elements of Category Theory / 1：
Introducing Toposes / 2：
Local Set Theories / 3：
7.

図書
図書
7. Toposes, algebraic geometry and logic (: u.s. ; : gw)
I. Bucur ... [et al.] ; edited by F.W. Lawvere
出版情報: Berlin : Springer-Verlag, 1972  189 p. ; 26 cm
シリーズ名: Lecture notes in mathematics ; 274
所蔵情報: loading…
8.

電子ブック
ＥＢ
8. Sheaves in geometry and logic : a first introduction to topos theory (: electronic bk)
Saunders Mac Lane, Ieke Moerdijk
出版情報: New York : Springer-Verlag, [20--]  1 online resource (xii, 629 p.)
シリーズ名: Universitext
所蔵情報: loading…
目次情報: 続きを見る
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
9.

図書
図書
9. Sheaves in geometry and logic : a first introduction to topos theory. 2nd corr. printing (: us ; : gw)
Saunders Mac Lane, Ieke Moerdijk
出版情報: New York ; Tokyo : Springer, 1994, c1992  xii, 629 p. ; 24 cm
シリーズ名: Universitext
所蔵情報: loading…
目次情報: 続きを見る
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
10.

図書
図書
10. Toposes, triples, and theories (us ; gw ; : pbk)
Michael Barr, Charles Wells
出版情報: New York ; Tokyo : Springer-Verlag, c1985  xiii, 345 p. ; 25 cm
シリーズ名: Die Grundlehren der mathematischen Wissenschaften ; 278
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼