Toposes and local set theories : an introduction
著者
書誌事項
Toposes and local set theories : an introduction
（Oxford logic guides, 14）
Clarendon Press , Oxford University Press, 1988
- タイトル別名
-
Local set theories
大学図書館所蔵 件 / 全27件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
注記
Bibliography: p. [258]-260
Includes indexes
内容説明・目次
内容説明
In recent years category theory has come to play a significant role in the foundations of mathematics. The invention by Lawvere and Tierney of the concept of (elementary) "topos" may be considered one of the most striking developments in this regard. This concept unites, in a simple way, a number of seemingly diverse notions from algebraic geometry, set theory and intuitionistic logic and has led to the forging of new links between classical and constructive mathematics. This book is an introduction to what may be termed the logical approach to topos theory, that is, the presentation of toposes as the models of theories - the so-called "local set theories" - formulated within a typed intuitionistic logic.
目次
Part 1 Elements of category theory: including categories, functors, adjunctions, uniqueness of adjoints, Cartesian closed categories, reflective subcategories, Galois connections. Part 2 Introducing toposes: including geometric morphisms, power objects - the concept of topos. Part 3 Local set theories: including local languages and local set theories, interpreting a local language in a topos - the Soundness Theorem, the Completeness Theorem, the Equivalence Theorem, adjoining indeterminates, introduction of function values. Part 4 Fundamental properties of toposes: including slicing a topos, Beth-Kripke-Joyal semantics. Part 5 From logic to sheaves: including truth sets, modalities and universal closure operations, the Sheafification functor, modalized toposes, sheaves over locales and topological spaces. Part 6 Locale-valued sets: including the topos of sheaves over a topological space, decidable, subconstant and fuzzy sets, Boolean extensions as toposes. Part 7 Natural numbers and real numbers: including natural and real numbers in local set theories, the free topos. Part 8 Epilogue - the wider significance of topos theory: from set theory to topos theory, some analogies with the Theory of Relativity, the negation of constancy. Appendix - geometric theories and classifying toposes. Historical and bibliographical notes. References. Index of symbols. Index of terms.
「Nielsen BookData」 より
