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

資料種別:

電子ブック

出版情報:

New York : Springer-Verlag, [20--]

形態:

1 online resource (xii, 629 p.)

シリーズ名:

Universitext <BA00021004>

著者名:

ISBN:

9781461209270 [1461209277] (: electronic bk)

書誌ID:

TT00017803

子書誌情報

フルテキスト

所蔵情報

書誌詳細

注記:

Bibliography: p. 605-614
Includes indexes
原資料の出版事項: New York : Springer-Verlag , c1992
Description based on online resource (viewed on December 4, 2019)

主題:

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 (: us ; : gw) Mac Lane, Saunders, 1909-, Moerdijk, Ieke Springer	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

1

2

3

4

5

6

7

8

9

10

11

12