Star-autonomous category

Last updated Apr 23, 2024

Tags: polycategory See also.

• Simple Free Star-Autonomous Categories and Full Coherence (Hughes)