2-Duality, lax and strong

Last updated Feb 22, 2025

Tags: tricategory, 2-Duality, adjunction