close
1.

図書

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

図書

図書
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:
3.

図書

図書
Oswald Wyler
出版情報: Singapore ; Teaneck : World Scientific, c1991  xi, 290 p. ; 24 cm
所蔵情報: loading…
4.

図書

図書
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.

電子ブック

EB
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
6.

図書

図書
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…
7.

図書

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

図書

図書
Michael Barr, Charles Wells
出版情報: New York ; Tokyo : Springer-Verlag, c1985  xiii, 345 p. ; 25 cm
シリーズ名: Die Grundlehren der mathematischen Wissenschaften ; 278
所蔵情報: loading…
9.

図書

図書
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
10.

図書

図書
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
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼