Topoi : The Categorial Analysis of Logic

個数:

Topoi : The Categorial Analysis of Logic

  • 【入荷遅延について】
    世界情勢の影響により、海外からお取り寄せとなる洋書・洋古書の入荷が、表示している標準的な納期よりも遅延する場合がございます。
    おそれいりますが、あらかじめご了承くださいますようお願い申し上げます。
  • ◆画像の表紙や帯等は実物とは異なる場合があります。
  • ◆ウェブストアでの洋書販売価格は、弊社店舗等での販売価格とは異なります。
    また、洋書販売価格は、ご注文確定時点での日本円価格となります。
    ご注文確定後に、同じ洋書の販売価格が変動しても、それは反映されません。
  • 製本 Paperback:紙装版/ペーパーバック版/ページ数 592 p.
  • 言語 ENG
  • 商品コード 9780486450261
  • DDC分類 512.62

基本説明

A classic exposition of the branch of mathematical logic known as category theory. Unabridged reprint, Elsevier North-Holland Publishing 1983. New Preface to the Dover edition. Errata.

Full Description

A classic exposition of a branch of mathematical logic that uses category theory, this text is suitable for advanced undergraduates and graduate students and accessible to both philosophically and mathematically oriented readers. Robert Goldblatt is Professor of Pure Mathematics at New Zealand's Victoria University. 1983 edition.

Contents

1. Mathematics = Set Theory?
2. What Categories Are
3. Arrows Instead of Epsilon
4. Introducing Topoi
5. Topos Structure: First Steps
6. Logic Classically Conceived
7. Algebra of Subobjects
8. Institutionism and Its Logic
9. Functors
10. Set Concepts and Validity
11. Elementary Truth
12. Categorial Set Theory
13. Arithmetic
14. Local Truth
15. Adjointness and Quantifiers
16. Logical Geometry
References
Catalogue of Notation
Index of Definitions

最近チェックした商品