Kerodon

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

Remark 1.1.3.13. It follows from the proof of Proposition 1.1.3.11 that every simplicial set $S$ can be recovered as the colimit $\varinjlim _{ ( [n], \sigma ) \in \operatorname{{\bf \Delta }}_{S} } \Delta ^ n$. In fact, this is general feature of presheaf categories: see Theorem 8.4.2.1 for an $\infty $-categorical counterpart.