Skip to main content
Became Hot Network Question
formatting, removed meta from title
Link
YCor
  • 63.9k
  • 5
  • 187
  • 285

Simplicial Set Constructionset construction of the Classifying Space - Reference Requestclassifying space

Source Link
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.