Fibrations and classifying spaces : overview and the classical examples
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.