  We construct classifying spaces for discrete and compact Lie groups, with the
property that they are topological groups and complete metric spaces in a
natural way. We sketch a program in view of extending these constructions.

Algebraic Topology;General Topology;Metric Geometry