Skip to main content
1 of 2
Dmitri Pavlov
  • 37.8k
  • 4
  • 97
  • 183

G is the homotopy loop space of BG.

More precisely, the two terminal maps G→pt and G→pt yield a weak equivalence G → pt ⨯_{BG} pt, where the right side denotes the homotopy pullback of the diagram pt→BG←pt and pt denotes the representable stack of a smooth manifold given by a single point.

Dmitri Pavlov
  • 37.8k
  • 4
  • 97
  • 183