Reference: equivalences can be made into adjunctions