Model structures on pro-categories
Model structures on pro-categories
We introduce a notion of a filtered model structure and use this notion to produce various model structures on procategories.We give several examples, including a homotopy theory for G-spaces, where G is a profinite group.The class of weak equivalences are an approximation to the class of underlying weak equivalences.