Notation 10.2.3.12. Let $k$ be a nonnegative integer. For every integer $n$, we let $\operatorname{{\bf \Delta }}_{ [k] / }^{\leq n}$ denote the full subcategory of the coslice category $\operatorname{{\bf \Delta }}_{ [k] / }$ spanned by objects which correspond to nondecreasing functions $[k] \rightarrow [m]$, where $m \leq n$.
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$