Coherence for adjunctions in a $3$-category via string diagrams

Manuel Araújo

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 wa…