Tags: duoidal category, braided monoidal category, duoid (poset structure). References Commutativity (Garner, Lopez Franco, 2015)
