Description
If I understand correctly, the spaces are just another name for a Classifying space.
Definition
A -space is a path-connected space whose Fundamental group is and whose Universal cover is contractible
Properties
Tip
Examples
Example