Sketches of an elephant : a topos theory compendium

書誌事項

Sketches of an elephant : a topos theory compendium

Peter T. Johnstone

(Oxford logic guides, 43-44)

Clarendon Press , Oxford University Press, c2002

  • v. 1
  • v. 2
  • : set

大学図書館所蔵 件 / 41

この図書・雑誌をさがす

注記

Includes bibliographical references and indexes

内容説明・目次

巻冊次

v. 2 ISBN 9780198515982

内容説明

Topos Theory is a subject that stands at the junction of geometry, mathematical logic and theoretical computer science, and it derives much of its power from the interplay of ideas drawn from these different areas. Because of this, an account of topos theory which approaches the subject from one particular direction can only hope to give a partial picture; the aim of this compendium is to present as comprehensive an account as possible of all the main approaches and thereby to demonstrate the overall unity of the subject. The material is organized in such a way that readers interested in following a particular line of approach may do so by starting at an appropriate point in the text.

目次

  • C1 Sheaves on a Locale
  • C2 Sheaves on a Site
  • C3 Classes of Geometric Morphisms
  • C4 Local Compactness and Exponentiability
  • C5 Toposes as Groupoids
  • D1 First-Order Categorical Logic
  • D2 Sketches
  • D3 Classifying Toposes
  • D4 Higher-Order Logic
  • D5 Aspects of Finiteness
巻冊次

: set ISBN 9780198524960

内容説明

Topos Theory is a subject that stands at the junction of geometry, mathematical logic and theoretical computer science, and it derives much of its power from the interplay of ideas drawn from these different areas. Because of this, an account of topos theory which approaches the subject from one particular direction can only hope to give a partial picture; the aim of this compendium is to present as comprehensive an account as possible of all the main approaches and thereby to demonstrate the overall unity of the subject. The material is organised in such a way that readers interested in following a particular line of approach may do so by starting at an appropriate point in the text.

目次

  • A1 REGULAR AND CARTESIAN CLOSED CATEGORIES
  • C1 SHEAVES ON A LOCALE
巻冊次

v. 1 ISBN 9780198534259

内容説明

Topos Theory is a subject that stands at the junction of geometry, mathematical logic and theoretical computer science, and it derives much of its power from the interplay of ideas drawn from these different areas. Because of this, an account of topos theory which approaches the subject from one particular direction can only hope to give a partial picture; the aim of this compendium is to present as comprehensive an account as possible of all the main approaches and thereby to demonstrate the overall unity of the subject. The material is organized in such a way that readers interested in following a particular line of approach may do so by starting at an appropriate point in the text.

目次

  • A1 Regular and Cartesian Closed Categories
  • A2 Toposes - Basic Theory
  • A3 Allegories
  • A4 Geometric Morphisms - Basic Theory
  • B1 Fibrations and Indexed Categories
  • B2 Internal and Locally Internal Categories
  • B3 Toposes over a base
  • B4 BTop/S as a 2-Category

「Nielsen BookData」 より

関連文献: 1件中  1-1を表示

詳細情報

  • NII書誌ID(NCID)
    BA58927426
  • ISBN
    • 9780198534259
    • 9780198515982
    • 9780198524960
  • 出版国コード
    uk
  • タイトル言語コード
    eng
  • 本文言語コード
    eng
  • 出版地
    Oxford,New York
  • ページ数/冊数
    2 v.
  • 大きさ
    24 cm
  • 親書誌ID
ページトップへ