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

Warning We have now introduced several different notions of path category:


To every directed graph $G$, Construction associates an ordinary category $\operatorname{Path}[G]$.


To every partially ordered set $Q$, Notation associates a simplicial category $\operatorname{Path}[Q]_{\bullet }$.


To every simplicial set $S_{\bullet }$, Proposition associates a simplicial category $\operatorname{Path}[ S ]_{\bullet }$.

We will show below that these constructions are closely related:


If $G$ is a directed graph and $S_{\bullet }$ denotes the associated simplicial set of dimension $\leq 1$ (Proposition, then the simplicial category $\operatorname{Path}[ S ]_{\bullet }$ of $(c)$ is constant, associated to the ordinary category $\operatorname{Path}[G]$ of $(a)$ (Proposition


If $Q$ is a partially ordered set, then the simplicial category $\operatorname{Path}[Q]_{\bullet }$ of $(b)$ can be identified with the simplicial category $\operatorname{Path}[ \operatorname{N}(Q) ]_{\bullet }$ of $(c)$, where $\operatorname{N}_{\bullet }(Q)$ denotes the nerve of $Q$ (Proposition


For any simplicial set $S_{\bullet }$, the simplicial category $\operatorname{Path}[ S ]_{\bullet }$ of $(c)$ has an underlying ordinary category $\operatorname{Path}[ S ]_0$, which can be described as the category $\operatorname{Path}[G]$ associated by $(a)$ to the underlying directed graph $G = \mathrm{Gr}( S_{\bullet } )$ of $S_{\bullet }$ (Proposition

Assertions $(1)$ and $(2)$ imply that the path category constructions of §1.2.6 and §2.4.3 can be regarded as special cases of the construction $S_{\bullet } \mapsto \operatorname{Path}[ S ]_{\bullet }$. Assertion $(3)$ is a partial converse, which guarantees that the simplicial path category $\operatorname{Path}[S]_{\bullet }$ can be regarded as a simplicially enriched version of the classical path category studied in §1.2.6.