simplicial set
construction in categorical homotopy theory; contravariant functor from the simplex category to the category of sets
nerve of a category
concept within mathematics
quasi-category
a generalization of the notion of a mathematical category