"Formal Category Theory: Adjointness for 2-Categories" - читать интересную книгу автора (J.W. Gray)