Model structures on pro-categories

Abstract

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.