Grothendieck construction

Let ${\displaystyle F\colon {\mathcal {C}}\rightarrow \mathbf {Cat} }$ be a functor from any small category to the category of small categories. The Grothendieck construction for ${\displaystyle F}$ is the category ${\displaystyle \Gamma (F)}$ (also written ${\displaystyle \textstyle \int _{\textstyle {\mathcal {C}}}F}$, ${\displaystyle \textstyle {\mathcal {C}}\int F}$ or ${\displaystyle F\rtimes {\mathcal {C}}}$), with

• objects being pairs ${\displaystyle (c,x)}$, where ${\displaystyle c\in \operatorname {obj} ({\mathcal {C}})}$ and ${\displaystyle x\in \operatorname {obj} (F(c))}$; and
• morphisms in ${\displaystyle \operatorname {hom} _{\Gamma (F)}((c_{1},x_{1}),(c_{2},x_{2}))}$ being pairs ${\displaystyle (f,g)}$ such that ${\displaystyle f:c_{1}\to c_{2}}$ in ${\displaystyle {\mathcal {C}}}$, and ${\displaystyle g:F(f)(x_{1})\to x_{2}}$ in ${\displaystyle F(c_{2})}$.

Composition of morphisms is defined by ${\displaystyle (f,g)\circ (f',g')=(f\circ f',g\circ F(f)(g'))}$.

"The Grothendieck construction takes structured, tabulated data and flattens it by throwing it all into one big space. The projection functor is then tasked with remembering which box each datum originally came from." [1]

If ${\displaystyle G}$ is a group, then it can be viewed as a category, ${\displaystyle {\mathcal {C}}_{G},}$ with one object and all morphisms invertible. Let ${\displaystyle F:{\mathcal {C}}_{G}\to \mathbf {Cat} }$ be a functor whose value at the sole object of ${\displaystyle {\mathcal {C}}_{G}}$ is the category ${\displaystyle {\mathcal {C}}_{H},}$ a category representing the group ${\displaystyle H}$ in the same way. The requirement that ${\displaystyle F}$ be a functor is then equivalent to specifying a group homomorphism ${\displaystyle \varphi :G\to \operatorname {Aut} (H),}$ where ${\displaystyle \operatorname {Aut} (H)}$ denotes the group of automorphisms of ${\displaystyle H.}$ Finally, the Grothendieck construction, ${\displaystyle 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 ${\displaystyle H\rtimes _{\varphi }G.}$

• Category of elements

• Mac Lane and Moerdijk, Sheaves in Geometry and Logic, pp. 44.
• R. W. Thomason (1979). Homotopy colimits in the category of small categories. Mathematical Proceedings of the Cambridge Philosophical Society, 85, pp 91–109. doi:10.1017/S0305004100055535.

Specific

• Grothendieck Construction in nLab