Kerodon

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

Remark 8.5.4.14. In the situation of Notation 8.5.4.12, we can regard $\operatorname{Spine}[\operatorname{\mathbf{Z}}]$ as a simplicial subset of the nerve $\operatorname{N}_{\bullet }(\operatorname{\mathbf{Z}})$, where we regard the set of integers $\operatorname{\mathbf{Z}}= \{ \cdots < -2 < -1 < 0 < 1 < 2 < \cdots \} $ as equipped with its usual linear ordering. Moreover, the inclusion $\operatorname{Spine}[\operatorname{\mathbf{Z}}] \hookrightarrow \operatorname{N}_{\bullet }( \operatorname{\mathbf{Z}})$ is inner anodyne (this is a special case of Proposition 1.5.7.3).