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

Example (The Spine of a Simplex). Let $n \geq 0$ and let $\Delta ^{n}$ be the standard $n$-simplex (Construction We let $\operatorname{Spine}[n]$ denote the simplicial subset of $\Delta ^{n}$ whose $k$-simplices are monotone maps $\sigma : [k] \rightarrow [n]$ satisfying $\sigma (k) \leq \sigma (0) + 1$. We will refer to $\operatorname{Spine}[n]$ as the spine of the simplex $\Delta ^{n}$. More informally, it is comprised of all vertices of $\Delta ^{n}$, together with those edges which join adjacent vertices. The spine $\operatorname{Spine}[n]$ is a simplicial set of dimension $\leq 1$, which we can identify with the directed graph $G$ depicted in the diagram

\[ \xymatrix { 0 \ar [r] & 1 \ar [r] & 2 \ar [r] & \cdots \ar [r] & n. } \]

Under this identification, the map $u: G_{\bullet } \rightarrow \operatorname{N}_{\bullet }( \operatorname{Path}[G] )$ corresponds to the inclusion $\operatorname{Spine}[n] \hookrightarrow \Delta ^ n$ (see Example Invoking Proposition and Theorem, we obtain the following:


The inclusion $\operatorname{Spine}[n] \hookrightarrow \Delta ^ n$ is inner anodyne.


For any $\infty $-category $\operatorname{\mathcal{C}}$, the restriction map $\operatorname{Fun}( \Delta ^ n, \operatorname{\mathcal{C}}) \rightarrow \operatorname{Fun}( \operatorname{Spine}[n], \operatorname{\mathcal{C}})$ is a trivial Kan fibration.