closed categories the star-autonomous way

• closed monoidal category
• star-autonomous category