The classifying space BG of a group G classifies principal G-bundles, in that homotopy classes of maps [X, BG] are naturally identified with isomorphism classes of principal G-bundles P ⭢ X.