Sheet diagrams for bimonoidal categories
arXiv:2010.13361
Abstract
Bimonoidal categories (also known as rig categories) are categories with two monoidal structures, one of which distributes over the other. We formally define sheet diagrams, a graphical calculus for bimonoidal categories that was informally introduced by Staton. Sheet diagrams are string diagrams drawn on a branching surface, which is itself an extruded string diagram. Our main result is a soundness and completeness theorem of the usual form for graphical calculi: we show that sheet diagrams form the free bimonoidal category on a signature.
arXiv commentfeedback welcome
References in corpus (6)
- Bimonoidal Structure of Probability Monads
- Strictification of categories weakly enriched in symmetric monoidal categories
- Normalization for planar string diagrams and a quadratic equivalence algorithm
- Generalised Proof-Nets for Compact Categories with Biproducts
- From fibered symmetric bimonoidal categories to symmetric spectra
- A Complete Language for Faceted Dataflow Programs