Lemma 14.19.13. Assume $\mathcal{C}$ has fibre products. Let $U, V, W$ be $n$-truncated simplicial objects of the category $\mathcal{C}$. Then

\[ \text{cosk}_ n (V \times _ U W) = \text{cosk}_ nU \times _{\text{cosk}_ n U} \text{cosk}_ nV \]

whenever the left and right hand side exist.

## Comments (1)

Comment #4305 by David Roberts on