- 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.