Is an equivalence an adjunction?

Solution 1:

Every equivalence can be "improved" to an adjoint equivalence, but you may have to change the unit or the counit: see e.g. here for a proof. Essentially the same thing is proved as Theorem 4.2.3 in the Homotopy Type Theory book.