Skip to main content
1 of 2
Xindaris
  • 275
  • 1
  • 5

Simplicial Set Construction of the Classifying Space - Reference Request

What would be the best book, article, or otherwise to reference for the specific construction of the classifying space for a discrete group $G$ which goes as follows?:

  • Regard $G$ as a category with one object whose morphisms are the elements of $G$.
  • Construct the simplicial sets $NG$ (i.e., the nerve of $G$) and $\mathcal{E}G$ (unsure if there's a standard notation; I mean that $\mathcal{E}G_n$ should be $G^{n+1}$ with face maps given by deletion and degeneracy maps given by repetition).
  • Take the geometric realizations $BG$ of $NG$ and $EG$ of $\mathcal{E}G$; then $BG$ is the classifying space with universal cover $EG$.

As far as I know, this is a fairly standard construction (although perhaps not the standard one). I'm just wondering about the best place to use as a reference for it.

Xindaris
  • 275
  • 1
  • 5