Formal category theory: adjointness for 2-categories - Gray, John W. (John Walker), 1931- (Springer-Verlag, 1974)