Group completion as a Bousfield localization

Example 21.8.4 (Group completion). The inclusion \(\Grp \hookrightarrow \Mon \) of groups into monoids admits a left adjoint \[ (-)^{\grp }\colon \Mon \to \Grp \] called the (discrete) group completion functor.