2-Duality, lax and strong

Last updated Apr 23, 2024

Tags: tricategory, 2-Duality, adjunction