Soft adjunction between 2-categories
A notion of adjunction for 2-functors is analysed. There are hom, universal, and unit-counit versions.
scientific article; zbMATH DE number 4123959