equivalences: higher-level proof of contractible = half adjoint
Reflexivity, symmetry, transitivity of equivalences