Corollary 4.7.8.9. Let $\operatorname{\mathcal{C}}$ and $\operatorname{\mathcal{D}}$ be $\infty $-categories. If $\operatorname{\mathcal{C}}$ is essentially small and $\operatorname{\mathcal{D}}$ is locally small, then the $\infty $-category $\operatorname{Fun}(\operatorname{\mathcal{C}}, \operatorname{\mathcal{D}})$ is locally small.
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$