 Note however that we haven't actually constructed "R*" yet; it is an important and not altogether trivial algebraic fact that such a left adjoint functor "R" → "R*" actually exists.It is also possible to "start" with the functor "F", and pose the following (vague) question