We define a coherent adjunction in a strict $4$-category and we use string diagrams to show that any adjunction can be extended to a coherent adjunction in an essentially unique way.

arxiv