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.^[1]

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

Significance

In categorical logic, the construction is used to model the relationship between a type theory and a logic over that type theory, and allows for the translation of concepts from indexed category theory into fibred category theory, such as Lawvere's concept of hyperdoctrine.

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^{[clarification needed]} 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.^{[citation needed]} See also Density theorem (category theory) for an example usage.

Motivation

If $\left\{A_{i}\right\}_{i\in I}$ is a family of sets indexed by another set, one can form the disjoint union or coproduct

\coprod _{i\in I}A_{i}

,

which is the set of all ordered pairs $(i,a)$ such that $a\in A_{i}$ . The disjoint union set is naturally equipped with a "projection" map

\pi :\coprod _{i\in I}A_{i}\to I,\,\pi (i,a)=i.

From the projection $\pi$ it is possible to reconstruct the original family of sets $\left\{A_{i}\right\}_{i\in I}$ up to a canonical bijection, as for each $i\in I,A_{i}\cong \pi ^{-1}(\{i\})$ via the bijection $a\mapsto (i,a)$ . In this context, for $i\in I$ , the preimage $\pi ^{-1}(\{i\})$ of the singleton set $\{i\}$ is called the "fiber" of $\pi$ over $i$ , and any set $B$ equipped with a choice of function $f:B\to I$ is said to be "fibered" over $I$ . In this way, the disjoint union construction provides a way of viewing any family of sets indexed by $I$ as a set "fibered" over $I$ , and conversely, for any set $f:B\to I$ fibered over $I$ , we can view it as the disjoint union of the fibers of $f$ . Jacobs has referred to these two perspectives as "display indexing" and "pointwise indexing".^[2]

The Grothendieck construction generalizes this to categories. For each category ${\mathcal {C}}$ , family of categories $\{F(c)\}_{c\in {\mathcal {C}}}$ indexed by the objects of ${\mathcal {C}}$ in a functorial way, the Grothendieck construction returns a new category ${\mathcal {E}}$ fibered over ${\mathcal {C}}$ by a functor $\pi$ whose fibers are the categories $\{F(c)\}_{c\in {\mathcal {C}}}$ .

Construction

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

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

An equivalent definition is that the category of elements of $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 $Π: \int C F \to C$ that sends an object $(A, a)$ to $A$ , and an arrow $(A, a)\to(B, b)$ to its underlying arrow in $C$ .

For small $C$ , this construction can be extended into a functor $\int C$ from $Ĉ$ to $Cat$ , the category of small categories. Using the Yoneda lemma one can show that $\int C P ≅ y ↓ P$ , where $y : C \to Ĉ$ is the Yoneda embedding.^{[citation needed]} This isomorphism is natural in $P$ and thus the functor $\int C$ is naturally isomorphic to $y ↓-: Ĉ \to Cat$ .

For some applications, it is important to generalize the construction to even a contravariant pseudofunctor $F$ (the covariant case is similar). Namely, given $F$ , define the category $C_{F}$ , where

an object is a pair $(x,a)$ consisting of an object $x$ in $C$ and an object $a$ in $F(x)$ ,
a morphism ${\overline {f}}:(x,a)\to (y,b)$ consists of $f:x\to y$ in $C$ and $\varphi :(Ff)b\to a$ in $F(x)$ ,
the composition of ${\overline {f}}$ above and ${\overline {g}}=(g,\psi ):(y,b)\to (z,c)$ consists of $g\circ f$ and $\varphi \circ (Ff)\psi$ ; i.e.,

F(g\circ f)c\simeq (Ff\circ Fg)c{\overset {(Ff)\psi }{\to }}(Ff)b{\overset {\varphi }{\to }}a.

^[3]

Perhaps it is psychologically helpful to think of $Ff$ as the pullback along $f$ (i.e., $Ff=f^{*}$ ) and then $(Ff)b$ is the pullback of $b$ along $f$ .

Note here the associativity of the composition is a consequence of the fact that the isomorphisms $F(g\circ f)\simeq Ff\circ Fg$ are coherent.

Examples

Group

If $G$ is a group, then it can be viewed as a category, ${\mathcal {C}}_{G},$ with one object and all morphisms invertible. Let $F:{\mathcal {C}}_{G}\to \mathbf {Cat}$ be a functor whose value at the sole object of ${\mathcal {C}}_{G}$ is the category ${\mathcal {C}}_{H},$ a category representing the group $H$ in the same way. The requirement that $F$ be a functor is then equivalent to specifying a group homomorphism $\varphi :G\to \operatorname {Aut} (H),$ where $\operatorname {Aut} (H)$ denotes the group of automorphisms of $H.$ Finally, the Grothendieck construction, $F\rtimes {\mathcal {C}}_{G},$ results in a category with one object, which can again be viewed as a group, and in this case, the resulting group is (isomorphic to) the semidirect product $H\rtimes _{\varphi }G.$

Representable functor

Given a category C and a fixed object * in it, take $F=\operatorname {Hom} (-,*)$ , the contravariant functor represented by *. Then the category $C_{F}$ associated to it by the Grothendieck construction is exactly the comma category $C\downarrow *$ .^[4] Indeed, if $(x,a)$ is an object in $C_{F}$ , then $a:x\to *$ . If $(f,\varphi ):(x,a)\to (y,b)$ is a morphism in $C_{F}$ , then $\varphi :b\circ f\to a$ . But $\varphi$ is supposed to be a morphism in $F(x)$ , which is a hom-set; in particular, a set. Thus, $\varphi$ is the identity and thus $b\circ f=a$ ; i.e., $f$ is a map over *.

Twisted arrows

Given a category C, take $F$ to be the hom-functor

\operatorname {Hom} :C^{op}\times C\to {\textbf {Set}},

where $\times$ denotes a product of categories. Then the category of elements for $F$ is known as the category of twisted arrows in C.^[5] The opposite of it is known as the twisted diagonal of C.

Homotopy colimit

Let $X:I\to {\textbf {Set}}$ be a functor (thought of as a diagram) and $EX$ the category of elements for $X$ . The nerve of $EX$ is a simplicial set that is isomorphic to the homotopy colimit of $X$ by Thomason's homotopy colimit theorem:

\operatorname {hocolim} X\simeq N(EX).

Sometimes, this is taken as a definition of a homotopy colimit.^[6]

More generally, if $X:I\to {\textbf {sSet}}$ is a simplicial diagram, then taking the above colimit for each $X_{n}$ , one also gets the homotopy colimit of X as well.

As a cartesian fibration

Let $\pi :C_{F}\to C$ be the forgetful functor and the category associated to a contravariant pseudofunctor $F$ on $C$ by the Grothendieck construction. A key property is that $\pi$ is a cartesian fibration (or that $C_{F}$ is a category fibered over $C$ ), meaning each morphism $f:x\to y$ in $C$ with target $y=\pi ((y,b))$ lifts to a cartesian morphism ${\overline {f}}$ with target ${\overline {y}}=(y,b)$ .^[3] Indeed, we simply let ${\overline {x}}=(x,a),\,a=(Ff)(b)$ and ${\overline {f}}=(f,\operatorname {id} _{a}).$ The required lifting property then holds trivially.

Next, if $\mu :F\to G$ is a natural transformation (between contravariant pseudofunctors), then $\mu$ induces a functor

\mu :C_{F}\to C_{G}

that sends cartesian morphisms to cartesian morphisms. Indeed, for objects, we let $\mu ((x,a))=(x,\mu (a))$ through $\mu :F(x)\to G(x)$ . As for a morphism ${\overline {f}}=(f,(Ff)b\,{\overset {\varphi }{\to }}\,a):{\overline {x}}\to {\overline {y}}$ , we let $\mu ({\overline {f}})=(f,\mu (\varphi ))$ where $\mu (\varphi ):\mu (Ff)b=(Gf)\mu (b)\to \mu (a)$ . Now, if $f':x'\to {\overline {y}}$ is an arbitrary cartesian morphism, then since $x',{\overline {x}}$ are isomorphic, we see that $\varphi _{f'}$ is invertible and thus $\mu (\varphi _{f'})$ is invertible. It follows that $\mu (f')$ has the required lifting property to be a cartesian morphism, completing the proof of the claim.

Formulation in ∞-categories

Using the language of ∞-categories, the Grothendieck construction can be stated in the following succint way. Namely, it says there is an equivalence of ∞-categories:

{\textrm {Fct}}(C^{op},{\textrm {Cat}})\to {\textrm {Cart}}(C)

between the functor category and the (2, 1)-category of cartesian fibrations (or fibered categories) over $C$ .^[7] Moreover, the equivalence is given by sending the pseudofunctor $F:C^{op}\to {\textrm {Cat}}$ to the category $C_{F}$ of pairs for $F$ (see above) and the opposite direction by taking fibers; i.e., $\pi$ is mapped to the pseudofunctor $X\mapsto \pi ^{-1}(X)$ .

In more details, given a cartesian fibration $\pi$ , define the contravariant pseudofunctor $F$ as follows.^[8] For an object $x$ , $F(x)=\pi ^{-1}(x)$ . Next, since $\pi$ is a cartesian fibration, for each morphism $f:x\to y$ and each object ${\overline {y}}$ in $\pi ^{-1}(y)$ , there is an object ${\overline {x}}$ in $\pi ^{-1}(x)$ as well as a cartesian morphism ${\overline {f}}:{\overline {x}}\to {\overline {y}}$ in $\pi ^{-1}(f)$ . By the axiom of choice, for each ${\overline {y}}$ , we thus choose $(Ff){\overline {y}}$ in $\pi ^{-1}(x)$ as well as a cartesian morphism ${\overline {f}}_{\overline {y}}:(Ff){\overline {y}}\to {\overline {y}}$ . To simplify the notation, we shall let $f^{*}=Ff$ . We now make

f^{*}:\pi ^{-1}(y)\to \pi ^{-1}(x)

a functor; i.e., it also sends morphisms. If $\alpha :{\overline {y}}_{1}\to {\overline {y}}_{2}$ is a morphism in $\pi ^{-1}(y)$ , since ${\overline {f}}:f^{*}{\overline {y}}_{2}\to {\overline {y}}_{2}$ is cartesian, there is a unique morphism $f^{*}{\overline {y}}_{1}\to f^{*}{\overline {y}}_{2}$ , which we denote by $f^{*}\alpha$ , such that $\alpha \circ {\overline {f}}_{{\overline {y}}_{1}}={\overline {f}}_{{\overline {y}}_{2}}\circ f^{*}\alpha$ . By the uniqueness of choices, we have $f^{*}(\alpha \circ \beta )=f^{*}\alpha \circ f^{*}\beta$ . Thus, $Ff=f^{*}$ is a functor. Hence, $F:C^{op}\to {\textbf {Cat}}$ is defined. Finally, we show $F$ is a contravariant pseudofunctor. Roughly, this is because, even though we made a choice using the axiom of choice, different choices differ by unique isomorphisms. Consequently, the isomorphisms $F(g\circ f)\simeq (Fg)(Ff)$ will be coherent.

Notes

^ Mac Lane, Saunders; Moerdijk, Ieke (1994). Sheaves in geometry and logic: a first introduction to topos theory (2., corr. print ed.). New York: Springer. ISBN 9780387977102.
^ Jacobs, Bart (1999). Categorical logic and type theory. Amsterdam Lausanne New York [etc.]: Elsevier. ISBN 0444501703.
^ ^a ^b Vistoli 2008, § 3.1.3.
^ Vistoli 2008, just before § 3.4.1.
^ Remark 8.1.0.3 in https://kerodon.net/tag/03JB
^ Example 2.7. in Jardine, John F. (2015). Local homotopy theory. Springer Monographs in Mathematics. New York: Springer-Verlag. section 9.2. doi:10.1007/978-1-4939-2300-7. ISBN 978-1-4939-2299-4. MR 3309296.
^ Khan 2023, Theorem 3.1.5.
^ Vistoli 2008, Proposition 3.11.

References

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.
Peter Johnstone, Sketches of an Elephant (2002)
Garth Warner: Fibrations and Sheaves, EPrint Collection, University of Washington (2012) [1]
Khan, Adeel A. (2023), Lectures on Algebraic Stacks (PDF), arXiv:2310.12456
Vistoli, Angelo (September 2, 2008). "Notes on Grothendieck topologies, fibered categories and descent theory" (PDF).
Goerss, Paul G.; Jardine, John F. (2009). "Simplicial functors and homotopy coherence". Simplicial Homotopy Theory. pp. 431–462. doi:10.1007/978-3-0346-0189-4_9. ISBN 978-3-0346-0188-7.
Harpaz, Yonatan; Prasma, Matan (2015). "The Grothendieck construction for model categories". Advances in Mathematics. 281: 1306–1363. arXiv:1404.1852. doi:10.1016/j.aim.2015.03.031.

Conheça Walt Disney World