# Kerodon

$\Newextarrow{\xRightarrow}{5,5}{0x21D2}$ $\newcommand\empty{}$

Warning 9.5.0.36. The statement of Theorem 5.7.0.2 assumes that $\operatorname{\mathcal{Q}}$ is a full subcategory of $\operatorname{\mathcal{QC}}$. However, it will sometimes be convenient to apply Theorem 5.7.0.2 when $\operatorname{\mathcal{Q}}$ is an enlargement of $\operatorname{\mathcal{QC}}$, whose objects include $\infty$-categories which are not necessarily small.