# Kerodon

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

Proposition 4.6.1.10. Let $\operatorname{\mathcal{C}}$ be an $\infty$-category. For every pair of objects $X,Y \in \operatorname{\mathcal{C}}$, the morphism space $\operatorname{Hom}_{\operatorname{\mathcal{C}}}(X,Y)$ is a Kan complex.