Classifying space

Classifying space of an abstract group
A classifying space of a group $$G$$ is a topological space whose fundamental group is $$G$$ and whose universal covering space is weakly contractible.

Every group possesses a classifying space which is also a CW-space, viz., can be given a CW-complex structure, and in this case the universal covering space exists and is actually contractible.