Formal category theory Adjointness for 2-categories - Gray John W (1974)