Lemma 14.19.4. Let \mathcal{C} be a category with finite limits. Let U be an n-truncated simplicial object of \mathcal{C}. The morphism \text{sk}_ n \text{cosk}_ n U \to U is an isomorphism.
Lemma 14.19.4. Let \mathcal{C} be a category with finite limits. Let U be an n-truncated simplicial object of \mathcal{C}. The morphism \text{sk}_ n \text{cosk}_ n U \to U is an isomorphism.
Comments (0)
There are also: