Kerodon

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

Construction 5.4.6.8. Let $\operatorname{ \pmb {\mathcal{QC}} }$ denote the $(\infty ,2)$-category of $\infty $-categories (Construction 5.4.5.1), and regard the Kan complex $\Delta ^{0}$ as an object of $\operatorname{ \pmb {\mathcal{QC}} }$. We let $\operatorname{ \pmb {\mathcal{QC}} }^{\operatorname{lax}}_{\ast }$ denote the coslice simplicial set $\operatorname{ \pmb {\mathcal{QC}} }_{\Delta ^{0} / }$.