Sketches of an Elephant : A Topos Theory Compendium (Oxford Logic Guides, 44) 〈2〉

Sketches of an Elephant : A Topos Theory Compendium (Oxford Logic Guides, 44) 〈2〉

  • ただいまウェブストアではご注文を受け付けておりません。 ⇒古書を探す
  • 製本 Hardcover:ハードカバー版
  • 言語 ENG,ENG
  • 商品コード 9780198515982
  • DDC分類 512.55

Full Description


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 approachesand 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.

Contents

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