Lemma 14.28.4 (019Y)—The Stacks project

Lemma 14.28.4. Let $\mathcal{C}, \mathcal{C}', \mathcal{D}, \mathcal{D}'$ be categories. With terminology as in Remarks 14.28.2 and 14.26.4.

Let $a, b : U \to V$ be morphisms of simplicial objects of $\mathcal{D}$. Let $F : \mathcal{D} \to \mathcal{D}'$ be a covariant functor. If $a$ and $b$ are homotopic, then $F(a)$, $F(b)$ are homotopic morphisms $F(U) \to F(V)$ of simplicial objects.
Let $a, b : U \to V$ be morphisms of cosimplicial objects of $\mathcal{C}$. Let $F : \mathcal{C} \to \mathcal{C}'$ be a covariant functor. If $a$ and $b$ are homotopic, then $F(a)$, $F(b)$ are homotopic morphisms $F(U) \to F(V)$ of cosimplicial objects.
Let $a, b : U \to V$ be morphisms of simplicial objects of $\mathcal{D}$. Let $F : \mathcal{D} \to \mathcal{C}$ be a contravariant functor. If $a$ and $b$ are homotopic, then $F(a)$, $F(b)$ are homotopic morphisms $F(V) \to F(U)$ of cosimplicial objects.
Let $a, b : U \to V$ be morphisms of cosimplicial objects of $\mathcal{C}$. Let $F : \mathcal{C} \to \mathcal{D}$ be a contravariant functor. If $a$ and $b$ are homotopic, then $F(a)$, $F(b)$ are homotopic morphisms $F(V) \to F(U)$ of simplicial objects.

Proof. By Lemma 14.28.3 above, we can turn $F$ into a covariant functor between a pair of categories, and we have to show that the functor preserves homotopic pairs of maps. This is explained in Remark 14.26.4. $\square$

Comments (2)

Comment #989 by Johan Commelin on September 05, 2014 at 13:17

On the first line, there is a comma missing between $\mathcal{D}$ and $\mathcal{D}'$ .

Comment #990 by Johan Commelin on September 05, 2014 at 13:19

Suggested slogan: Functors preserve homotopic morphisms of (co)simplicial objects.

Comments (2)

Post a comment