Example 9.5.4.18. Let $\operatorname{\mathcal{C}}$ be a presentable $\infty $-category and let $K$ be a small simplicial set. Applying Proposition 9.5.4.17 to the projection map $U: \operatorname{\mathcal{C}}\times K \rightarrow K$, we recover the assertion that the diagram $\infty $-category $\operatorname{Fun}(K, \operatorname{\mathcal{C}})$ is presentable (Proposition 9.5.4.3).
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$