Model structures on pro-categories
arXiv:math/0511057
Abstract
We introduce a notion of a filtered model structure and use this notion to produce various model structures on pro-categories. This framework generalizes several known examples. We give several examples, including a homotopy theory for -spaces, where is a pro-finite group. The class of weak equivalences is an approximation to the class of underlying weak equivalences.
29 pages