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
