Kerodon

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

Notation 10.2.6.16. Let $\operatorname{{\bf \Delta }}_{\mathrm{min}}$ be the category introduced in Notation 10.2.6.1. For every integer $n$, we let $\operatorname{{\bf \Delta }}_{\mathrm{min}}^{\leq n}$ denote the full subcategory of $\operatorname{{\bf \Delta }}_{\mathrm{min}}$ spanned by the collection of objects $\{ [m] \} _{0 \leq m \leq n}$.