Left adjoint
Redirect to:
Adjoint functors