- multicategory
- monoidal multicategory
- strict monoidal multicategory
- normal monoidal multicategory
- properties of normal weakening
- shuffling monoidal category
- symmetric normal monoidal multicategory
- shuffle
- shufflings are deuterorepresentable normal produoidals
- shuffles are the free physical monoidal multicategory