Polar shuffles

Last updated Nov 12, 2024

• polar shuffle, bijection based definition
• polar shuffles form a multicategory
• polar shuffles form a monoidal multicategory
• encoding of polar shuffles

Tags: shuffle, partial leaf functions

References.

• Simple Free Star-Autonomous Categories and Full Coherence (Hughes) serves an inspiration via its notion of partial leaf function.
• Monoidal Context Theory, PhD Thesis (Roman, 2023) introduces a bijection based version of this definition.