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.