Kerodon

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

Definition 5.5.6.10. We let $\operatorname{\mathcal{QC}}^{\operatorname{lax}}_{\ast }$ denote the pith of the $(\infty ,2)$-category $\operatorname{ \pmb {\mathcal{QC}} }^{\operatorname{lax}}_{\ast }$ (see Construction 5.4.5.1).