promonoidal category induced by a partial commutative monoid

Tags: promonoidal category, partial commutative monoid.