Polarization of a monoidal category

Last updated Apr 23, 2024

Polarization is the left adjoint to taking left adjoints.

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