Example 9.4.7.16. Let $\operatorname{\mathcal{C}}$ be an accessible $\infty $-category. Then, for every object $C \in \operatorname{\mathcal{C}}$, the corepresentable functor
\[ \operatorname{Hom}_{\operatorname{\mathcal{C}}}( C, \bullet ): \operatorname{\mathcal{C}}\rightarrow \operatorname{\mathcal{S}} \]
is accessible. This is a reformulation of Remark 9.4.6.8.