This question is answered in the affirmative in the following preprint:

* Cole Comfort, Antonin Delpeuch, Jules Hedges, _Sheet diagrams for bimonoidal categories_, arXiv:[2010.13361](https://arxiv.org/abs/2010.13361)

The morphisms are represented by so-called proof sheets.