weak equivalences to adjoint equivalences

... as an exercise