Kerodon

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

Remark 5.6.0.4. We can summarize Theorem 5.6.0.2 more informally by saying that the projection map $V: \operatorname{\mathcal{QC}}_{\operatorname{Obj}} \rightarrow \operatorname{\mathcal{QC}}$ is universal among essentially small cocartesian fibrations. Note that this property characterizes the $\infty $-category $\operatorname{\mathcal{QC}}$ (and the cocartesian fibration $V$) up to equivalence.