The loop group at level one

Remark 5.1.12. Since the loop object \(\Omega (X,x)\) is defined as the pullback \(* \times _X *\) in \(C\), there is a natural isomorphism \[ \bOmega (X,x)_1 \cong \Omega (X,x), \] justifying the notation.