Simplicial set (source code)

= Simplicial set
{title2=$X:\Delta^{\mathrm{op}}\to\mathbf{Set}$}
{wiki}

A simplicial set is a <functor> from the opposite of the <simplex category> to sets. Its face and degeneracy maps satisfy the simplicial identities.