Example 1.3.7.2. Fix an integer $n \geq 0$. Let $G$ be the directed graph with vertex set $\operatorname{Vert}(G) = \{ v_0, v_1, \ldots , v_ n \} $, and edge set $\operatorname{Edge}(G) = \{ e_1, \ldots , e_ n \} $, where each edge $e_{i}$ has source $s(e_ i) = v_{i-1}$ and target $t(e_ i) = v_ i$; we can represent $G$ graphically by the diagram
Let $v_ i$ and $v_ j$ be a pair of vertices of $G$. Then:
If $i \leq j$, there is a unique path from $v_ i$ to $v_ j$, given by the sequence of edges $(e_{j}, e_{j-1}, \ldots , e_{i+1})$.
If $i > j$, then there are no paths from $v_ i$ to $v_ j$.
It follows that the path category $\operatorname{Path}[G]$ is isomorphic to the linearly ordered set $[n] = \{ 0 < 1 < 2 < \cdots < n \} $ (regarded as a category).