Fibrations and classifying spaces : an axiomatic approach I
The category Top of topological spaces and continuous maps has the structures of a fibration category and a cofibration category in the sense of Baues, where fibration = Hurewicz fibration, cofibration = the usual cofibration, and weak equivalence = homotopy equivalence. Concentrating on fibrations, we consider the problem: given a full subcategory 𝓒 of Top, is the fibration structure of Top restricted to 𝓒 a fibration category? In this paper we take the special case where 𝓒 is the full subcategory...
We find sufficient conditions for a cotriad of which the objects are locally trivial fibrations, in order that the push-out be a locally trivial fibration. As an application, the universal -bundle of a finite group , and the classifying space is modeled by locally finite spaces. In particular, if is finite, then the universal -bundle is the limit of an ascending chain of finite spaces. The bundle projection is a covering projection.