Companions in a double category

See Companions and conjoints.

Tags: Companions and conjoints, Adjunctions in a proarrow equipment