Handbook of Categorical Algebra: Volume 3, Sheaf Theory

The Handbook of Categorical Algebra is designed to give, in three volumes, a detailed account of what should be known by everybody working in, or using, category theory. As such it will be a unique reference. There is ample material here for a graduate course in category theory, and the books should also serve as a reference for users.