Category of elements

This article has multiple issues. Please help improve it or discuss these issues on the talk page. (Learn how and when to remove these messages) This article may be too technical for most readers to understand. Please help improve it to make it understandable to non-experts, without removing the technical details. (April 2023) (Learn how and when to remove this message) This article includes a list of references, related reading, or external links, but its sources remain unclear because it lacks inline citations. Please help improve this article by introducing more precise citations. (April 2023) (Learn how and when to remove this message) (Learn how and when to remove this message)

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.

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.

Let ${\displaystyle C}$ be a category and let ${\displaystyle F:C^{\rm {op}}\to \mathbf {Sets} }$ be a set-valued functor. The category el(F) of elements of F (also denoted ∫_C F) is the category whose:

• Objects are pairs ${\displaystyle (A,a)}$ where ${\displaystyle A\in \mathop {\rm {Ob}} (C)}$ and ${\displaystyle a\in FA}$.
• Morphisms ${\displaystyle (A,a)\to (B,b)}$ are arrows ${\displaystyle f:A\to B}$ of ${\displaystyle C}$ such that ${\displaystyle (Ff)b=a}$.

An equivalent definition is that the category of elements of ${\displaystyle F}$ is the comma category ∗↓F, where ∗ is a singleton (a set with one element).

The category of elements of F is naturally equipped with a projection functor Π: ∫_C F→C that sends an object (A, a) to A, and an arrow (A,a)→(B,b) to its underlying arrow in C.

For small C, this construction can be extended into a functor ∫_C from Ĉ to Cat, the category of small categories. Using the Yoneda lemma one can show that ∫_C P≅y↓P, where y:C→Ĉ is the Yoneda embedding. This isomorphism is natural in P and thus the functor ∫_C is naturally isomorphic to y↓–:Ĉ→Cat.

• Grothendieck construction

• Mac Lane, Saunders (1998). Categories for the Working Mathematician. Graduate Texts in Mathematics 5 (2nd ed.). Springer-Verlag. ISBN 0-387-98403-8.
• Mac Lane, Saunders; Moerdijk, Ieke (1992). Sheaves in Geometry and Logic. Universitext (corrected ed.). Springer-Verlag. ISBN 0-387-97710-4.

• Category of elements at the nLab