Standard simplex (source code)

= Standard simplex
{title2=$\Delta^n$}
{wiki=Simplex#The_standard_simplex}

The standard simplicial $n$-simplex is the representable simplicial set
$$
\Delta^n_m=\operatorname{Hom}_\Delta([m],[n]).
$$