Promonoidal category of shufflingsLast updated Feb 3, 2024 # Embedding into opmonotone relationsTags: Promonoidal category of shufflings, promonoidal category, Multicategory