Sketches of an elephant : a topos theory compendium
Author(s)
Bibliographic Information
Sketches of an elephant : a topos theory compendium
(Oxford logic guides, 43-44)
Clarendon Press , Oxford University Press, c2002
- v. 1
- v. 2
- : set
Available at 41 libraries
  Aomori
  Iwate
  Miyagi
  Akita
  Yamagata
  Fukushima
  Ibaraki
  Tochigi
  Gunma
  Saitama
  Chiba
  Tokyo
  Kanagawa
  Niigata
  Toyama
  Ishikawa
  Fukui
  Yamanashi
  Nagano
  Gifu
  Shizuoka
  Aichi
  Mie
  Shiga
  Kyoto
  Osaka
  Hyogo
  Nara
  Wakayama
  Tottori
  Shimane
  Okayama
  Hiroshima
  Yamaguchi
  Tokushima
  Kagawa
  Ehime
  Kochi
  Fukuoka
  Saga
  Nagasaki
  Kumamoto
  Oita
  Miyazaki
  Kagoshima
  Okinawa
  Korea
  China
  Thailand
  United Kingdom
  Germany
  Switzerland
  France
  Belgium
  Netherlands
  Sweden
  Norway
  United States of America
-
Library & Science Information Center, Osaka Prefecture University
v. 16110017662,
v. 26110017663 -
Library, Research Institute for Mathematical Sciences, Kyoto University数研
v. 1JOH||34||1-102104344,
v. 2JOH||34||1-202104345
Note
Includes bibliographical references and indexes
Description and Table of Contents
- Volume
-
v. 2 ISBN 9780198515982
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 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.
Table of 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
- Volume
-
: set ISBN 9780198524960
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 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.
Table of Contents
- A1 REGULAR AND CARTESIAN CLOSED CATEGORIES
- C1 SHEAVES ON A LOCALE
- Volume
-
v. 1 ISBN 9780198534259
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 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.
Table of Contents
- 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
by "Nielsen BookData"