$\Newextarrow{\xRightarrow}{5,5}{0x21D2}$ $\newcommand\empty{}$

Remark Let $\operatorname{\mathcal{C}}_{\bullet }$ be a locally Kan simplicial category, and let $f,g: X \rightarrow Y$ be a pair of morphisms in the underlying category $\operatorname{\mathcal{C}}= \operatorname{\mathcal{C}}_0$ having the same source and target. Invoking Proposition, we see that the following conditions are equivalent:


There exists a homotopy from $f$ to $g$, in the sense of Definition


The morphisms $f$ and $g$ belong to the same connected component of the Kan complex $\operatorname{Hom}_{\operatorname{\mathcal{C}}}(X,Y)_{\bullet }$.

In particular, condition $(a)$ defines an equivalence relation on the set $\operatorname{Hom}_{\operatorname{\mathcal{C}}}(X,Y)$.