Polar shuffles

Last updated Aug 28, 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 (Román, 2023) introduces a bijection based version of this definition.