Kerodon

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

Construction 11.5.0.10. Let $X$ be a braced simplicial set. Every nondegenerate simplex $\sigma : \Delta ^{n} \rightarrow X$ determines a functor

\[ \operatorname{Chain}[n] \simeq \operatorname{{\bf \Delta }}^{\mathrm{nd}}_{\Delta ^ n} \xrightarrow {\sigma } \operatorname{{\bf \Delta }}_{X}^{\mathrm{nd}}, \]

which we can identify with an $n$-simplex $f_0(\sigma )$ of the simplicial set $\operatorname{Ex}( \operatorname{N}_{\bullet }( \operatorname{{\bf \Delta }}_{X}^{\mathrm{nd}}) )$ (Example 3.3.2.8). The construction $\sigma \mapsto f_0(\sigma )$ determines a morphism of semisimplicial sets $f_0: X^{\mathrm{nd}} \rightarrow \operatorname{Ex}( \operatorname{N}_{\bullet }( \operatorname{{\bf \Delta }}_{X}^{\mathrm{nd}} ) )$, which extends uniquely to a map of simplicial sets $f: X \rightarrow \operatorname{Ex}( \operatorname{N}_{\bullet }( \operatorname{{\bf \Delta }}_{X}^{\mathrm{nd}} ) )$ (Proposition 3.3.1.5).