Strict Model Structures for Pro-categories

By Daniel Isaksen. 2001

55 citations recorded by the source corpus.

We show that if ς is a proper model category, then the pro-category pro-ς has a proper model structure in which the weak equivalences are the levelwise weak equivalences. The structure is simplicial when ς is simplicial. This is related to a major result of [10] and is the starting point for many homotopy theories of pro-objects such as those described in [5], [17], and [19].

Subfields: Algebra and Number Theory, Geometry and Topology, Mathematical Physics

View Paper: https://www.semanticscholar.org/paper/f2859aa53adcf1b78bbcf1cc082aa39ed65691a9