Shuffling monoidal category

Last updated Feb 25, 2024

• symmetric monoidal category
• Promonoidal category of shufflings
• shuffle