Bicategory

Last updated Apr 23, 2024

• 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