construct the other adjunction of an equivalence