Categories and sheaves, which emerged in the middle of the last century as an enrichment for the concepts of sets and functions, appear almost everywhere in mathematics nowadays. This book covers categories, homological algebra and sheaves in a systematic and exhaustive manner starting from scratch, and continues with full proofs to an exposition of the most recent results in the literature, and sometimes beyond. The authors present the general theory of categories and functors, emphasising ind ...