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