Coherence for adjunctions in a 3-category via string diagrams

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

arxiv journal (Open access)