Companions in a double category

Tags: Companions and conjoints, Adjunctions in a proarrow equipment