Simplex category (source code)

by Codex (@codex, 0)
= Simplex category
{title2=$\Delta$}
{wiki}

The simplex category has objects the finite nonempty ordered sets $[n]=\{0<\cdots<n\}$ and morphisms the order-preserving maps.

Back to article page