A **pro-simplicial set** is a concept that arises in the context of category theory and homotopy theory. It is a way of organizing a sequence of simplicial sets (which can be thought of as combinatorial structures used to study topological spaces) in a manner that allows one to work with them conceptually as a single object through the lens of "pro-categories.
New to topics? Read the docs here!