Star-autonomous category

Last updated Sep 8, 2023

Tags: polycategory See also.

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