Category of elements
From Wikipedia, the free encyclopedia
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.
This article has multiple issues. Please help improve it or discuss these issues on the talk page. (Learn how and when to remove these template messages)
|
The category of elements of a simplicial set is fundamental in simplicial homotopy theory, a branch of algebraic topology. More generally, the category of elements plays a key role in the proof that every weighted colimit can be expressed as an ordinary colimit, which is in turn necessary for the basic results in theory of pointwise left Kan extensions, and the characterization of the presheaf category as the free cocompletion of a category.