Logic List Mailing Archive

Book by P.T.Johnstone, "A Topos Theory Compendium Vol.1"

Sketches of an Elephant: A Topos Theory Compendium - Volume 1

Peter T. Johnstone, Reader in the Foundations of Mathematics, University
of Cambridge, Cambridge, UK

Oxford University Press: GBP 110,-
http://www.oup.co.uk/isbn/0-19-853425-6

[Part of a 3 volume compendium, volume 3 to be published after 2007]

Topos Theory is an important branch of mathematical logic of interest to
theoretical computer scientists, logicians and philosophers who study the
foundations of mathematics, and to those working in differential geometry
and continuum physics. This compendium contains material that was
previously available only in specialist journals. This is likely to become
the standard reference work for all those interested in the subject.