A simplicial set is a fundamental concept in algebraic topology and category theory that generalizes the notion of a topological space. It is a combinatorial structure used to study objects in homotopy theory and other areas of mathematics. ### Definition A **simplicial set** consists of: 1. **Sets of n-simplices**: For each non-negative integer \( n \), there is a set \( S_n \) which consists of n-simplices.
New to topics? Read the docs here!