Tags: shuffle, shuffling monoidal category, shufflings form a deuterorepresentable normal produoidal, shuffles are the free physical monoidal multicategory.
