Coherence for adjunctions in a 3-category via string diagrams

2022/08/30 by Manuel Mora y Araujo
Mathematics · #Algebraic structures and combinatorial models #Homotopy and Cohomology in Algebraic Topology

paper · pdf · doi:10.32408/compositionality-4-2

Abstract

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.

Related

• Coherence and Confluence
• Coherence for adjunctions in a 4-category
• Coherence without unique normal forms
• Coherence Constraints for Operads, Categories and Algebras
• Homotopy coherent adjunctions and the formal theory of monads