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

Proposition Let $S_{\bullet }$ be a simplicial set. Then there exists a simplicial category $\operatorname{\mathcal{C}}_{\bullet }$ and a morphism of simplicial sets $u: S_{\bullet } \rightarrow \operatorname{N}^{\operatorname{hc}}_{\bullet }(\operatorname{\mathcal{C}})$ which exhibits $\operatorname{\mathcal{C}}_{\bullet }$ as a path category of $S_{\bullet }$.

Proof. This is a special case of Proposition, since the category $\operatorname{Cat_{\Delta }}$ admits small colimits (Proposition Explicitly, the simplicial path category of a simplicial set $S_{\bullet }$ is given by the generalized geometric realization

\[ | S_{\bullet } |^{ \operatorname{Path}[-]_{\bullet } } = \varinjlim _{ \Delta ^ n \rightarrow S_{\bullet } } \operatorname{Path}[n]_{\bullet }, \]

where $\operatorname{Path}[-]_{\bullet }$ denotes the cosimplicial object of $\operatorname{Cat_{\Delta }}$ defined in Notation $\square$