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