20 Oct
2008
20 Oct
'08
2:33 p.m.
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é