In mathematics, a simplicial set is a construction in categorical homotopy theory that is a pure 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. Simplicial sets are used to define quasi-categories, a basic notion of higher category theory.