Switchings of a linking

Last updated Sep 8, 2023

Tags: Switching criterion, partial leaf functions References

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