Formal category theory : Adjointness for 2-Categories - Gray, John W (Springer Verlag, 1974)