 Pro-simplicial set

In mathematics, a pro-simplicial set is an inverse system of simplicial sets.A pro-simplicial set is called "pro-finite" if each term of the inverse system of simplicial sets has finite homotopy groups.