Toposes, triples, and theories
著者
書誌事項
Toposes, triples, and theories
(Die Grundlehren der mathematischen Wissenschaften, 278)
Springer-Verlag, c1985
- us
- gw
- : pbk
大学図書館所蔵 件 / 全85件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
注記
Bibliography: p. 333-338
Includes indexes
内容説明・目次
内容説明
As its title suggests, this book is an introduction to three ideas and the connections between them. Before describing the content of the book in detail, we describe each concept briefly. More extensive introductory descriptions of each concept are in the introductions and notes to Chapters 2, 3 and 4. A topos is a special kind of category defined by axioms saying roughly that certain constructions one can make with sets can be done in the category. In that sense, a topos is a generalized set theory. However, it originated with Grothendieck and Giraud as an abstraction of the of the category of sheaves of sets on a topological space. Later, properties Lawvere and Tierney introduced a more general id~a which they called "elementary topos" (because their axioms did not quantify over sets), and they and other mathematicians developed the idea that a theory in the sense of mathematical logic can be regarded as a topos, perhaps after a process of completion. The concept of triple originated (under the name "standard construc- in Godement's book on sheaf theory for the purpose of computing tions") sheaf cohomology.
Then Peter Huber discovered that triples capture much of the information of adjoint pairs. Later Linton discovered that triples gave an equivalent approach to Lawverc's theory of equational theories (or rather the infinite generalizations of that theory). Finally, triples have turned out to be a very important tool for deriving various properties of toposes.
目次
1. Categories.- 2. Toposes.- 3. Triples.- 4. Theories.- 5. Properties of Toposes.- 6. Permanence Properties of Toposes.- 7. Representation Theorems.- 8. Cocone Theories.- 9. More on Triples.- Index to Exercises.
「Nielsen BookData」 より