Category of elements

In category theory, a branch of mathematics, the category of elements of a presheaf is a category associated to that presheaf whose objects are the elements of sets in the presheaf. It and its generalization are also known as the Grothendieck construction (named after Alexander Grothendieck) especially in the theory of descent, in the theory of stacks, and in fibred category theory.

The Grothendieck construction is an instance of straightening (or rather unstraightening).

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.