A Grothendieck category is an abelian category that has enough injectives, satisfies the AB5 condition (filtered colimits of exact sequences are exact), and has a generator. These categories generalize the category of modules over a ring and are foundational in homological algebra and the theory of sheaves.