A generalization of Artin-Mazur completion and rigid completion functors in homotopy theory (Q910486)

The author generalizes the definition of the pro-category Pro-C for a category C by taking Grothendieck's ``double limit'' formula as the definition of morphism in Pro-C even when the index categories are no longer cofiltered. A generalized Artin-Mazur completion is then defined starting with an arbitrary functor K: \(C\to D\). He shows that the shape category of K can be identified with a full subcategory of Pro-C. A ``rigid'' Artin-Mazur completion is obtained by taking D (resp. C) to be the category of pointed CW complexes (resp. pointed CW complexes which have finite homotopy groups) and pointed continuous maps.