Strict model structures for pro-categories

Daniel C. Isaksen
DOI: https://doi.org/10.48550/arXiv.math/0108189
2001-08-29
Abstract:We show that C if is a proper model category, then the pro-category pro-C has a strict model structure in which the weak equivalences are the levelwise weak equivalences. The strict model structure is the starting point for many homotopy theories of pro-objects.
Algebraic Topology
What problem does this paper attempt to address?