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