Remark 9.5.1.14. In the situation of Proposition 9.5.1.13, the hypothesis that $\operatorname{\mathcal{C}}$ is $\lambda $-complete is automatic if $\operatorname{\mathcal{C}}$ is assumed to be $\mu $-cocomplete (Corollary 9.5.1.12).
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$