"Formal category theory: Adjointness for 2-categories" - читать интересную книгу автора (J. Gray)