Sketches of an Elephant: A Topos Theory Compendium, Volume 1
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.
What people are saying - Write a review
Al Regular and cartesian closed categories
Firstorder categorical logic 807
Sheaves on a locale 471
A2 Toposes basic theory
A4 Geometric morphisms basic theory
C2 Sheaves on a site 536
Bl Indexed categories and tit rations
JSTOR: Sketches of an Elephant: A Topos Theory Compendium
Sketches of an elephant: a topos theory compendium. Oxford Logic Guides, vols. 43, 44. Oxford University Press, Oxford, 2002, xxii + 1160 pp. ...
categories: Sketches of an Elephant
... this seems an appropriate moment to publicize the forthcoming appearance of "Sketches of an Elephant: a Topos Theory Compendium" (volumes 1 and 2) by ...
north.ecc.edu/ alsani/ ct02(1-2)/ msg00070.html
Sketches of an Elephant: A Topos Theory Compendium - Volume 2
Sketches of an Elephant: A Topos Theory Compendium - Volume 2, by Peter T Johnstone, pp. 715. Foreword by Peter T Johnstone. Oxford University Press ...
adsabs.harvard.edu/ abs/ 2002set2.book.....J
Zentralblatt MATH Database 1931 – 2008 1071.18001
Sketches of an elephant. A topos theory compendium. I. (English). Oxford Logic Guides 43; Oxford Science Publications. Oxford: Clarendon Press. xxii, ...
zmath.impa.br/ cgi-bin/ zmen/ ZMATH/ en/ help.html?first=1&
Peter Johnstone, Sketches of an Elephant: a Topos Theory Compendium, Oxford U. Press, Oxford. Volume 1, comprising Part A: Toposes as Categories, ...
math.ucr.edu/ home/ baez/ topos.html
University of Chicago Category Theory Seminar
Johnstone, Peter T. Sketches of an elephant: a topos theory compendium. Vol. 1. Oxford Logic Guides, 43. The Clarendon Press, Oxford University Press, ...
www.math.uchicago.edu/ ~fiore/ 1/ categoryseminar.html
Tychonoff Theorem and AC in locales by Martín Escardó
Part of them are contained in his 2002 two-volume book Sketches of an Elephant: A topos theory compendium , published by OUP, in chapters C1 and C4 of ...
at.yorku.ca/ t/ o/ p/ d/ 55.htm
AWOD: “FM” — 2006/3/11 — 17:35 — PAGE i — #1 OXFORD LOGIC GUIDES
pt Johnstone: Sketches of an Elephant: A topos theory compendium: Volume 1. 44. pt Johnstone: Sketches of an Elephant: A topos theory compendium: Volume 2 ...
www.andrew.cmu.edu/ course/ 80-413-713/ notes/ cats.pdf
Everybody sees the same elephant (says Carlo Rovelli)
Peter T. Johnstone: Sketches of an Elephant: A Topos Theory Compendium, Oxford Science Publications, Oxford, 2002. Johnstone’s overwhelming compendium. ...
University of Illinois at UC Mathematics Library -- New Books ...
512.55 J656s v.1: Johnstone, pt: Sketches of an elephant : a topos theory compendium: Oxford ; New York : Oxford University Press, 2002-: Oxford logic ...
g118.grainger.uiuc.edu/ mtxnewbook/ nb2000_07.asp?month=October&