classifying space
topological space equipped with a principal bundle with the property that any principal bundle (with the same fiber group) over a paracompact manifold is isomorphic to a pullback of the principal bundle over this topological space
classifying space for U(n)
exact homotopy case