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
The morphisms are represented by so-called proof sheets.
Cole Comfort
- 131
- 1
- 5