Classifying space (source code)

= Classifying space
{title2=$BG$}
{wiki}

For a <topological group> $G$, a universal <principal bundle> $EG\to BG$ has contractible total space and classifies numerable principal $G$-bundles by pullback. Over a paracompact base, isomorphism classes correspond to <homotopy classes> of maps to $BG$. For a discrete group, its <classifying space of a discrete group> is a $K(G,1)$; for the circle, $BS^1\simeq\mathbb{CP}^\infty$.