Shufflings are deuterorepresentable normal produoidals

Tags: shuffle, shuffling monoidal category, produoidal normalization, shuffling words