# Kerodon

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

Remark 5.4.6.3. Let $\operatorname{\mathcal{C}}$ be an $\infty$-category. Then $\operatorname{\mathcal{C}}$ satisfies condition $(\ast _1)$ of Definition 5.4.6.1 if and only if, for every pair of objects $X,Y \in \operatorname{\mathcal{C}}$ and every pair of morphisms $f,g: X \rightarrow Y$ which are homotopic, we have $f = g$ (see Corollary 1.3.3.7).