Remark 4.6.1.2. Let $\operatorname{\mathcal{C}}$ be an $\infty $-category containing a pair of objects $X$ and $Y$. Recall that a morphism from $X$ to $Y$ is an edge $e: \Delta ^1 \rightarrow \operatorname{\mathcal{C}}$ satisfying $e(0) = X$ and $e(1) = Y$ (Definition 1.4.1.1). It follows that morphisms from $X$ to $Y$ can be identified with vertices of the morphism space $\operatorname{Hom}_{\operatorname{\mathcal{C}}}(X,Y)$ of Construction 4.6.1.1.
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$