Kerodon

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

Corollary 9.5.4.13. The $\infty $-categories $\operatorname{\mathcal{QC}}^{\operatorname{LPr}}$ and $\operatorname{\mathcal{QC}}^{\operatorname{RPr}}$ admit small colimits.

Proof. By virtue of Corollary 9.5.3.9, the $\infty $-category $\operatorname{\mathcal{QC}}^{\operatorname{LPr}}$ is equivalent to the opposite of $\operatorname{\mathcal{QC}}^{\operatorname{RPr}}$. It will therefore suffice to show that $\operatorname{\mathcal{QC}}^{\operatorname{LPr}}$ and $\operatorname{\mathcal{QC}}^{\operatorname{RPr}}$ admit small limits, which follows from Proposition 9.5.4.12. $\square$