Tags: Switching criterion, partial leaf functions References Simple Free Star-Autonomous Categories and Full Coherence (Hughes)