Grothendieck category (source code)

= Grothendieck category
{wiki=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.