Kerodon

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

Definition 1.1.3.1. Let $S$ be a simplicial set and let $k$ be an integer. We will say that $S$ has dimension $\leq k$ if every $n$-simplex of $S$ is degenerate for $n > k$. If $k \geq 0$, we say that $S$ has dimension $k$ if it has dimension $\leq k$ but does not have dimension $\leq k-1$. We say that $S$ is finite-dimensional if it has dimension $\leq k$ for some $k \gg 0$.