closed categories the star-autonomous way

Last updated Feb 3, 2024

• closed monoidal category
• star-autonomous category