This structure can be better expressed in terms of a proarrow equipment (see Nester, 2020). However, a better presentation seems to be in terms of an adjunction polarization is left adjoint to taking left adjoints.
