Remark 9.5.7.3. In the formulation of Proposition 9.5.7.2, it is not necessary to assume that $\operatorname{\mathcal{D}}$ is presentable: the conclusion holds more generally when $\operatorname{\mathcal{D}}$ is cocomplete. However, this requires a different proof. See Corollary 9.6.9.26.
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$