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