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.
Viktoriya Ozornova;Martina Rovelli, 2023, What is an equivalence in a higher category?, Bulletin of the London Mathematical Society, 56, 1, pp. 1-58, 10.1112/blms.12947, https://doi.org/10.1112/blms.12947.