# Kerodon

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

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