The left adjoints of a physical duoidal category form themselves a physical duoidal category. This is a right adjoint to the polarization of a physical duoidal category. A simpler monoidal analogue is the category of dualities.
The left adjoints of a physical duoidal category form themselves a physical duoidal category. This is a right adjoint to the polarization of a physical duoidal category. A simpler monoidal analogue is the category of dualities.