Kerodon

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

Proposition 11.9.4.5. Let $\pi : \operatorname{\mathcal{C}}\rightarrow \Delta ^ n$ be a cocartesian fibration of $\infty $-categories having fibers $\{ \operatorname{\mathcal{C}}(i) = \{ i\} \times _{\Delta ^ n} \operatorname{\mathcal{C}}\} _{0 \leq i \leq n}$. Then there exists a scaffold

\[ U: M( \operatorname{\mathcal{C}}(0) \rightarrow \operatorname{\mathcal{C}}(1) \rightarrow \cdots \rightarrow \operatorname{\mathcal{C}}(n) ) \rightarrow \operatorname{\mathcal{C}}. \]