Adjoint in a 2-Category
Backlinks
Double Category of Mates