Kelly: 'Equivalences in 2-categories, representations, and biadjoints'