Handbook of Categorical Algebra: Volume 3, Sheaf Theory

by Francis Borceux

Overview

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.

Product Details

ISBN-13:	9780521441803
Publisher:	Cambridge University Press
Publication date:	12/08/1994
Series:	Encyclopedia of Mathematics and its Applications , #52
Pages:	544
Product dimensions:	6.34(w) x 9.49(h) x 1.30(d)

Table of Contents

Preface; Introduction to the handbook; 1. Locales; 2. Sheaves; 3. Grothendieck toposes; 4. The classifying topos; 5. Elementary toposes; 6. Internal logic of a topos; 7. The law of excluded middle; 8. The axiom of infinity; 9. Sheaves in a topos; Index.

Editorial Reviews

" . . . these volumes will be of enormous value to graduate students in pure or applied category theory." Martin Hyland, Mathematical Reviews

From the Publisher