Polarization is left adjoint to taking left adjoints

Last updated Feb 3, 2024

• Polarization of a monoidal category
• Category of dualities
• Polarized notation for optics