This seems to correspond to the notion of physical monoidal multicategory. symmetric monoidal category Promonoidal category of shufflings shuffle