Kerodon

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

Definition 1.4.3.1. Let $\operatorname{\mathcal{C}}$ be an $\infty $-category and let $f,g: C \rightarrow D$ be a pair of morphisms in $\operatorname{\mathcal{C}}$ having the same source and target. A homotopy from $f$ to $g$ is a $2$-simplex $\sigma $ of $\operatorname{\mathcal{C}}$ satisfying $d^{2}_0( \sigma ) = \operatorname{id}_{D}$, $d^{2}_1(\sigma ) = g$, and $d^{2}_2(\sigma ) = f$, as depicted in the diagram

\[ \xymatrix@R =50pt@C=50pt{ & D \ar [dr]^{\operatorname{id}_ D} & \\ C \ar [ur]^{f} \ar [rr]^{g} & & D. } \]

We will say that $f$ and $g$ are homotopic if there exists a homotopy from $f$ to $g$.