Lemma 14.21.1. Let $\mathcal{C}$ be a category which has finite colimits. The functors $i_{m!}$ exist for all $m$. Let $U$ be an $m$-truncated simplicial object of $\mathcal{C}$. The simplicial object $i_{m!}U$ is described by the formula

$(i_{m!}U)_ n = \mathop{\mathrm{colim}}\nolimits _{([n]/\Delta )_{\leq m}^{opp}} U(n)$

and for $\varphi : [n] \to [n']$ the map $i_{m!}U(\varphi )$ comes from the identification $U(n) \circ \underline{\varphi } = U(n')$ above via Categories, Lemma 4.14.8.

Proof. In this proof we denote $i_{m!}U$ the simplicial object whose $n$th term is given by the displayed formula of the lemma. We will show it satisfies the adjointness property.

Let $V$ be a simplicial object of $\mathcal{C}$. Let $\gamma : U \to \text{sk}_ mV$ be given. A morphism

$\mathop{\mathrm{colim}}\nolimits _{([n]/\Delta )_{\leq m}^{opp}} U(n) \to T$

is given by a compatible system of morphisms $f_\alpha : U_ k \to T$ where $\alpha : [n] \to [k]$ with $k \leq m$. Certainly, we have such a system of morphisms by taking the compositions

$U_ k \xrightarrow {\gamma _ k} V_ k \xrightarrow {V(\alpha )} V_ n.$

Hence we get an induced morphism $(i_{m!}U)_ n \to V_ n$. We leave it to the reader to see that these form a morphism of simplicial objects $\gamma ' : i_{m!}U \to V$.

Conversely, given a morphism $\gamma ' : i_{m!}U \to V$ we obtain a morphism $\gamma : U \to \text{sk}_ m V$ by setting $\gamma _ i : U_ i \to V_ i$ equal to the composition

$U_ i \xrightarrow {\text{id}_{[i]}} \mathop{\mathrm{colim}}\nolimits _{([i]/\Delta )_{\leq m}^{opp}} U(i) \xrightarrow {\gamma '_ i} V_ i$

for $0 \leq i \leq n$. We leave it to the reader to see that this is the inverse of the construction above. $\square$

In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).