Right adjoint
Redirect to:
Adjoint functors