Coherence for adjunctions in a $3$-category via string diagramsArticle
Authors: Manuel Araújo 1
NULL
Manuel Araújo
1 Departament of Computer Science and Technology, University of Cambridge, United Kingdom
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.