 Grothendieck category

A Grothendieck category is a specific type of category in the field of algebraic geometry and homological algebra, named after the mathematician Alexander Grothendieck. Grothendieck categories provide a framework for studying sheaves and derived categories, among other objects.