Formal category theory adjointness for 2-categories - Gray J W (Berlin Springer-Verlag, 1974)
Keywords: Category theory