abstract:In mathematics, a simplicial set is a construction in categorical homotopy theory which is a purely algebraic model of the notion of a "well-behaved" topological space. Historically, this model arose from earlier work in combinatorial topology and in particular from the notion of simplicial complexes.