Source: wikibot/grothendieck-construction
= Grothendieck construction
{wiki=Grothendieck_construction}
The Grothendieck construction is a method in category theory and algebraic topology that allows for the construction of a new category from a functor. Specifically, it is used to "glue together" objects from a family of categories indexed by another category through a functor.