Remark 9.2.8.4. In the situation of Proposition 9.2.8.3, it is not necessary to assume that $F_{+}(C_{+} )$ is a $(\kappa ,\lambda )$-compact object of $\operatorname{\mathcal{C}}$.
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$
Remark 9.2.8.4. In the situation of Proposition 9.2.8.3, it is not necessary to assume that $F_{+}(C_{+} )$ is a $(\kappa ,\lambda )$-compact object of $\operatorname{\mathcal{C}}$.