quasi 2-adjunction

Last updated Apr 23, 2024

• adjunction
• Strict 2-category, bicategory.
• 2-adjunction