Remark 7.4.5.13. In the statement of Theorem 7.4.5.11, condition $(\ast )$ does not depend on the cardinal $\lambda $. Consequently, if condition $(\ast )$ is satisfied, then $\overline{\mathscr {F}}$ is a also colimit diagram in the $\infty $-category $\operatorname{\mathcal{QC}}^{< \mu }$ for every cardinal $\mu \geq \lambda $.
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$