The forgetful functor from groups to monoids has a right adjoint which associates to a monoid its group of invertible elements. I am looking for a general explanation of this observation. It should a consequence of a general result on forgetful functors of a certain kind. Best, andré