Conjunto Simplicial

Una sucesión de conjuntos indexada por los enteros no negativos junto con aplicaciones de caras y degeneración que satisfacen las identidades simpliciales; un objeto combinatorio que modela símplexes y sus pegados para representar tipos de homotopía.