25 Nov
1997
25 Nov
'97
3:16 p.m.
The existence is a quick consequence of the standard adjoint functor theorems.