Classifying pro-fibrations and shape fibrations (Q1082647)

We first describe some categories. Let TOP denote the category whose objects are topological spaces and whose morphisms are continuous maps. Let \(TOP^ N\) denote the category whose objects are the inverse systems in TOP indexed by the set of natural numbers \({\mathbb{N}}\) (with continuous bonding maps). A morphism between two objects in \(TOP^ N\) is a sequence of level preserving continuous maps indexed by \({\mathbb{N}}\) and commuting with the bonds as usual. Also, we need a category pro-TOP which has the same objects as \(TOP^ N\) but whose morphisms are pro-maps as described by \textit{M. Artin} and \textit{B. Mazur} [Etale homotopy (Lect. Notes Math. 100) (1969; Zbl 0182.260)]. The results of this paper are somewhat too technical to be stated in this brief review, however, the following will provide the reader an overview of these results. First, a construction of classifying spaces for fibrations of \(TOP^ N\) is given by using the techniques of \textit{J. P. May} [Mem. Am. Math. Soc. 155 (1975; Zbl 0321.55033)]. Second, these spaces are used to prove classification theorems of fibrations in \(TOP^ N\) and pro-TOP. A partial classification of shape fibrations is also given.