Formal category theory : adjointness for 2-categories - Gray, John Walker 1931- (Springer, 1964)