Bicategory

Last updated Apr 14, 2025

• bicategories of processes and lax dinaturality
• Bimodule on a bicategory
• Lax twisted arrow bicategory
• Quasi 2-adjunction

Literature

• Introduction to Bicategories (Benabou, 1967)
• Lack coherence theorem