Formal category theory : adjointness for 2-categories - Gray, John Walker, 1931- (Lecture notes in mathematics ; LNM ;, 1974)