formal 2-adjunction

Last updated Feb 22, 2025

Tags: Quasi 2-adjunction, adjunction.