Grothendieck construction

The Grothendieck construction is a construction used in the mathematical field of category theory.

Let

be a functor from any small category to the category of small categories. The Grothendieck construction for is the category (also written ), with

Composition of morphisms is defined by .

See also

References

External links

This article is issued from Wikipedia - version of the 7/30/2016. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.