Notation 10.2.5.9. Let $\operatorname{{\bf \Delta }}_{+}$ be the augmented simplex category (Definition 10.2.1.10). For every integer $n$, we let $\operatorname{{\bf \Delta }}_{+}^{\leq n}$ denote the full subcategory of $\operatorname{{\bf \Delta }}_{+}$ spanned by the collection of objects $\{ [m] \} _{-1 \leq m \leq n}$.
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$