Embedding into opmonotone relations Tags: Promonoidal category of shufflings, promonoidal category, multicategory