Ensemble Simplicial

Une suite d'ensembles indexée par les entiers naturels munie d'applications de faces et de dégénérescences vérifiant les identités simpliciales ; un objet combinatoire qui représente des simplexes et leurs recollements pour modéliser des types d'homotopie.