Strong pro-fibrations and ANR objects in pro-categories

The notions of pro-fibration and approximate pro-fibration for morphisms in the pro-category pro-Top of topological spaces were introduced by S. Mardešić and T.B. Rushing. In this paper we introduce the notion of strong pro-fibration, which is a pro-fibration with some additional property, and the notion of ANR object in pro-Top, which is approximately an ANR-system, and we consider the full subcategory ANR of pro-Top whose objects are ANR objects. We prove that the category ANR satisfies most of the axioms for fibration category in the sense of H.J. Baues if fibrations are strong pro-fibrations and weak equivalences are morphisms inducing isomorphisms in the pro-homotopy category pro-H(Top) of topological spaces. We give various applications. First of all, we prove that every shape morphism is represented by a strong pro-fibration. Secondly, the fibre of a strong pro-fibration is well defined in the category ANR, and we obtain an isomorphism between the pro-homotopy groups of the base and total systems of a strong pro-fibration, and hence obtain the pro-homotopy sequence of a strong pro-fibration. Finally, we also show that there is a homotopy decomposition in the category ANR.