-/-> in adjunctions