2026-07-072026-07-07http://salesiana.dossiersoluciones.com/handle/123456789/62091We 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 Topology18G55; 55U35text