Measure theory and classifying spaces
arXiv:1702.01889
Abstract
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.