Notation 10.2.3.3. Let $\operatorname{{\bf \Delta }}$ denote the simplex category (Definition 1.1.0.2). For every integer $n$, we let $\operatorname{{\bf \Delta }}^{\leq n}$ denote the full subcategory of $\operatorname{{\bf \Delta }}$ spanned by those objects $[m] = \{ 0 < 1 < \cdots < m \} $ where $0 \leq m \leq n$ (see Construction 1.1.3.9).
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$