Companions in a double category

Last updated Oct 4, 2022

Tags: Companions and conjoints, Adjunctions in a proarrow equipment