2-Duality, lax and strong

Last updated Aug 14, 2023

Tags: Tricategory, 2-Duality, adjunction