left_adjoint

left_adjoint