quasi 2-adjunction

Last updated Feb 22, 2025

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