Kerodon

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

Example 11.5.0.15. For $0 \leq i \leq n$, the horn $\Lambda ^{n}_{i}$ of Construction 1.2.4.1 is given by $\Delta ^{n}_{\operatorname{\mathcal{U}}}$, where $\operatorname{\mathcal{U}}$ is the collection of all nonempty subsets of $[n]$ which are distinct from $[n]$ and $[n] \setminus \{ i \} $.