The correspondence of mates refers to a natural bijection between adjoint squares obtained by pasting with units and counits.
This forms part of an isomorphism of double categories of adjoint squares, in which we choose cells to be natural transformations between left adjoints on the one hand, and between right adjoints on the other.
Cheng, Gurski, Riehl
Kelly, Street. Palmquist
Palmquist
