Lemma 114.10.2. Let $\mathcal{C}$ be a category with finite coproducts and finite limits. Let $X$ be an object of $\mathcal{C}$. Let $k \geq 0$. The canonical map

$\mathop{\mathrm{Hom}}\nolimits (\Delta [k], X) \longrightarrow \text{cosk}_1 \text{sk}_1 \mathop{\mathrm{Hom}}\nolimits (\Delta [k], X)$

is an isomorphism.

Proof. For any simplicial object $V$ we have

\begin{eqnarray*} \mathop{\mathrm{Mor}}\nolimits (V, \text{cosk}_1 \text{sk}_1 \mathop{\mathrm{Hom}}\nolimits (\Delta [k], X)) & = & \mathop{\mathrm{Mor}}\nolimits (\text{sk}_1 V, \text{sk}_1 \mathop{\mathrm{Hom}}\nolimits (\Delta [k], X)) \\ & = & \mathop{\mathrm{Mor}}\nolimits (i_{1!} \text{sk}_1 V, \mathop{\mathrm{Hom}}\nolimits (\Delta [k], X)) \\ & = & \mathop{\mathrm{Mor}}\nolimits (i_{1!} \text{sk}_1 V \times \Delta [k], X) \end{eqnarray*}

The first equality by the adjointness of $\text{sk}$ and $\text{cosk}$, the second equality by the adjointness of $i_{1!}$ and $\text{sk}_1$, and the first equality by Simplicial, Definition 14.17.1 where the last $X$ denotes the constant simplicial object with value $X$. By Simplicial, Lemma 14.20.2 an element in this set depends only on the terms of degree $0$ and $1$ of $i_{1!} \text{sk}_1 V \times \Delta [k]$. These agree with the degree $0$ and $1$ terms of $V \times \Delta [k]$, see Simplicial, Lemma 14.21.3. Thus the set above is equal to $\mathop{\mathrm{Mor}}\nolimits (V \times \Delta [k], X) = \mathop{\mathrm{Mor}}\nolimits (V, \mathop{\mathrm{Hom}}\nolimits (\Delta [k], X))$. $\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).