Introduction to Grothendieck Categories

Grothendieck categories are a generalization of categories of modules. Sheaves of abelian groups over a topological space also form a Grothendieck category. Grothendieck categories are a special case of abelian categories, but the extra structure allows additional theorems to be proved.

Grigory Garkusha has a thorough introduction to the subject on arXiv.