coherence for physical duoidal categories
Coherence for physical duoidal categories seems to be an open problem. One could reuse the proof of coherence for monoidal categories by Beylin and Dybjer together with the characterization of physical duoidal expressions as posets in duoidals.