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. This compendium aims to present a comprehensive account of the main approaches and demonstrate the overall unity of the subject.
Specialists of topos theory were expecting this Elephant since many years. It is extremely good news that the first two volumes already appeared, without waiting for the completion of the third one.
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.
Dr P.T. Johnstone Reader in the Foundations of Mathematics Dept of Pure Mathematics & Mathematical Statistics University of Cambridge Cambridge CB3 0BW