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
It also need to be a CW-complex too. Likely.
Properties
Tip
Examples
Example