Remark 7.4.5.15. In the statement of Theorem 7.4.5.13, 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}$