Polarization of a monoidal category

Last updated Feb 22, 2025

Polarization is the left adjoint to taking left adjoints.

• category of left adjoints
• polarization on a physical monoidal multicategory