Categories and sheaves appear almost frequently in contemporary advanced mathematics. This book covers categories, homological algebra and sheaves in a systematic manner starting from scratch and continuing with full proofs to the most recent results in the literature, and sometimes beyond. The authors present the general theory of categories and functors, emphasizing inductive and projective limits, tensor categories, representable functors, ind-objects and localization.

Masaki Kashiwara Professor at the Rims, Kyoto University Plenary speaker ICM 1978 Invited speaker ICM 1990 http://www.kurims.kyoto-u.ac.jp/~kenkyubu/kashiwara/

Pierre Schapira, Professor at University Pierre et Marie Curie (Paris VI) Invited speaker ICM 1990 http://www.math.jussieu.fr/~schapira/

The Language of Categories.- Limits.- Filtrant Limits.- Tensor Categories.- Generators and Representability.- Indization of Categories.- Localization.- Additive and Abelian Categories.- ?-accessible Objects and F-injective Objects.- Triangulated Categories.- Complexes in Additive Categories.- Complexes in Abelian Categories.- Derived Categories.- Unbounded Derived Categories.- Indization and Derivation of Abelian Categories.- Grothendieck Topologies.- Sheaves on Grothendieck Topologies.- Abelian Sheaves.- Stacks and Twisted Sheaves.