Bicategory

Last updated Sep 8, 2023

• 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