Corollary 4.7.8.5. Let $n$ be an integer and let $\operatorname{\mathcal{C}}$ be an $n$-category. Then, for every pair of objects $X,Y \in \operatorname{\mathcal{C}}$, the morphism space $\operatorname{Hom}_{\operatorname{\mathcal{C}}}(X,Y)$ is weakly $(n-1)$-coskeletal.
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$
Proof. For $n < 0$, the result is trivial (see Example 4.7.7.10). We will therefore assume that $n \geq 0$. It follows from Corollary 4.7.7.23 that the morphism space $\operatorname{Hom}_{\operatorname{\mathcal{C}}}(X,Y) = \{ X\} \vec{\times }_{\operatorname{\mathcal{C}}} \{ Y\} $ is also $n$-category; in particular, it is minimal in dimensions $\geq n$. Since $\operatorname{Hom}_{\operatorname{\mathcal{C}}}(X,Y)$ is $(n-1)$-truncated (Warning 4.7.7.21), it is locally $(n-2)$-truncated (Example 4.7.6.10). Applying Proposition 4.7.8.1, we conclude that $\operatorname{Hom}_{\operatorname{\mathcal{C}}}(X,Y)$ is weakly $(n-1)$-coskeletal. $\square$