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