# Kerodon

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

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.3.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.