Shufflings are deuterorepresentable normal produoidals

Last updated Jun 3, 2024

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