Strict model structures for pro-categories

2001/08/28 by Daniel C. Isaksen, Isaksen, Daniel C.
Mathematics · #18G55 #55U35 #Algebraic Topology (math.AT) #FOS: Mathematics #math.AT #msc:18G55 #msc:55U35

paper · pdf · doi:10.48550/arxiv.math/0108189

arxiv created 2001/08/28 · arxiv updated 2009/11/30

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.

Related

• Model structures on pro-categories
• A new model for pro-categories
• A model structure on the category of pro-simplicial sets
• Extending to a model structure is not a first-order property
• Completions of pro-spaces