Category of dualities

Last updated Sep 8, 2023

• duality
• Polarization of a monoidal category