Remark 9.2.2.13. In the situation of Definition 9.2.2.12, the corepresentable functor $\operatorname{Hom}_{\operatorname{\mathcal{C}}}(C, \bullet )$ is only well-defined up to isomorphism. However, the condition that $\operatorname{Hom}_{\operatorname{\mathcal{C}}}(C, \bullet )$ is $(\kappa ,\lambda )$-finitary depends only on its isomorphism class.
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$