Quasi 2-adjunction

Last updated Sep 8, 2023

• adjunction
• Strict 2-category, bicategory.