formal 2-adjunction

Last updated Apr 23, 2024

Tags: Quasi 2-adjunction, adjunction.