Partial leaf Tags: star-autonomous category, Int construction, partial function References. Simple Free Star-Autonomous Categories and Full Coherence (Hughes)