Kerodon

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

Warning 2.4.4.8. It follows from Proposition 2.4.4.7 that if $S_{\bullet }$ is a simplicial set of dimension $\leq 1$, then the simplicial category $\operatorname{Path}[ S ]_{\bullet }$ is constant. Beware that this is never true for simplicial sets of dimension $> 1$ (see Theorem 2.4.4.10 below).