Description: This third volume turns to topos theory and the idea of sheaves. The theory of locales is considered first, and Grothendieck toposes are introduced. Notions of sketchability and accessible categories are discussed, and an axiomatic generalization of the category of sheaves is given.
Review Quotes: " . . . these volumes will be of enormous value to graduate students in pure or applied category theory." Martin Hyland, Mathematical Reviews