Classifying Space

A topological space BG associated to a topological group G such that (principal) G‑bundles over a space X correspond bijectively (up to isomorphism) to homotopy classes of maps X → BG; often realized via a contractible total space EG with free G‑action and BG = EG/G.