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.
Articles by others on the same topic
There are currently no matching articles.