Toposes, triples, and theories
Author(s)
Bibliographic Information
Toposes, triples, and theories
（Die Grundlehren der mathematischen Wissenschaften, 278）
Springer-Verlag, c1985
- us
- gw
- : pbk
Available at / 85 libraries
-
Science and Technology Library, Kyushu University
usU1/Gur068252184012754,
BARR/10/1A068222194007640 -
INTERNATIONAL CHRISTIAN UNIVERSITY LIBRARY図
V.278410.8/G89b/V.27803196277,
410.8/G89B/V.27803196277 -
Hokkaido University, Library, Graduate School of Science, Faculty of Science and School of Science研究室
usDC16:512.55/B272021253322
-
No Libraries matched.
- Remove all filters.
Note
Bibliography: p. 333-338
Includes indexes
Description and Table of Contents
Description
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.
Table of Contents
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.
by "Nielsen BookData"
