Topos Theory is an important branch of mathematical logic of interest to theoretical computer scientsts, logicians and philosophers who study the foundations of mathematics, and to those working in differential geometry and continum 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.