Sketches of an Elephant: 2 Volume Set

Oxford University Press UK (2002)
  Copy   BIBTEX

Abstract

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.

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 90,616

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Sketches of an Elephant: A Topos Theory Compendium: Volume 2.Peter T. Johnstone - 2002 - Oxford, England: Oxford University Press UK.
Sketches of an Elephant: Volume 2.Peter T. Johnstone - 2002 - Oxford, England: Oxford University Press UK.
Reductive Logic and Proof-Search: Proof Theory, Semantics, and Control.David J. Pym & Eike Ritter - 2004 - Oxford, England: Oxford University Press UK. Edited by Eike Ritter.
Finitary Sketches.J. Adamek, P. T. Johnstone, J. A. Makowsky & J. Rosicky - 1997 - Journal of Symbolic Logic 62 (3):699-707.
Finitary sketches.J. Adámek, P. T. Johnstone, J. A. Makowsky & J. Rosický - 1997 - Journal of Symbolic Logic 62 (3):699-707.
Classifying toposes for first-order theories.Carsten Butz & Peter Johnstone - 1998 - Annals of Pure and Applied Logic 91 (1):33-58.
Normative Guidance.Peter Railton - 2006 - In Russ Shafer-Landau (ed.), Oxford Studies in Metaethics, Volume 1. Oxford University Press. pp. 3-34.
The Topos of Music: Geometric Logic of Concepts, Theory and Performance.G. Mazzola - 2002 - Birkhauser Verlag. Edited by Stefan Göller & Stefan Müller.

Analytics

Added to PP
2019-05-26

Downloads
1 (#1,769,934)

6 months
1 (#1,040,386)

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
How can I increase my downloads?

Author's Profile

References found in this work

No references found.

Add more references