Added adjointification and closure properties of equivalences.