Simplicial sets are a concept from algebraic topology and category theory that serve as a combinatorial model for homotopy types. They generalize the notion of simplicial complexes and provide a framework for studying topological spaces through discrete structures. ### Definition: A simplicial set is a functor from a simplicial category (usually the category of finite ordered sets and order-preserving maps) to the category of sets.
New to topics? Read the docs here!