Source: wikibot/pro-simplicial-set
= Pro-simplicial set
{wiki=Pro-simplicial_set}
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.