# Sheet diagrams for bimonoidal categories

@article{Comfort2020SheetDF, title={Sheet diagrams for bimonoidal categories}, author={Cole Comfort and Antonin Delpeuch and Jules Hedges}, journal={arXiv: Category Theory}, year={2020} }

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… Expand

#### 2 Citations

Differential 2-rigs

- Mathematics
- 2021

We explore the notion of a category with coproducts + and a monoidal structure ⊗ distributing over it, endowed with an endo-functor ∂ which is ‘linear and Leibniz’. Such ∂ can be legitimately called… Expand

Routed quantum circuits

- Physics, Computer Science
- Quantum
- 2021

It is proved that this new framework allows for a consistent and intuitive diagrammatic representation in terms of circuit diagrams, applicable to both pure and mixed quantum theory, and exemplify its use in several situations, including the superposition of quantum channels and the causal decompositions of unitaries. Expand

#### References

SHOWING 1-10 OF 14 REFERENCES

From fibered symmetric bimonoidal categories to symmetric spectra

- Mathematics
- 2009

In here we define the concept of fibered symmetric bimonoidal categories. These are roughly speaking fibered categories D->C whose fibers are symmetric monoidal categories parametrized by C and such… Expand

A Survey of Graphical Languages for Monoidal Categories

- Mathematics
- 2010

This article is intended as a reference guide to various notions of monoidal categories and their associated string diagrams. It is hoped that this will be useful not just to mathematicians, but also… Expand

Bimonoidal Structure of Probability Monads

- Mathematics, Computer Science
- MFPS
- 2018

A conceptual treatment of the notion of joints, marginals, and independence in the setting of categorical probability by endowing the usual probability monads with a monoidal and an opmonoidal structure, mutually compatible. Expand

STRICTIFICATION OF CATEGORIES WEAKLY ENRICHED IN SYMMETRIC MONOIDAL CATEGORIES

- Mathematics
- 2009

We show that categories weakly enriched over symmetric monoidal cate- gories can be strictied to categories enriched in permutative categories. This is a \many 0-cells" version of the strictication… Expand

Normalization for planar string diagrams and a quadratic equivalence algorithm

- Computer Science, Mathematics
- 2018

It is shown that left- and right-handed exchanges each give strongly normalizing rewrite strategies for connected string diagrams, which gives a linear-time solution to the equivalence problem in the connected case, and a quadratic solution in the general case. Expand

Generalised Proof-Nets for Compact Categories with Biproducts

- Mathematics, Computer Science
- ArXiv
- 2009

It is demonstrated how to represent quantum processes as proof-nets, and it is shown that the dynamic behaviour of a quantum process is captured by the cut-elimination procedure for the logic. Expand

The groupoid of finite sets is biinitial in the 2-category of rig categories

- Mathematics
- 2020

The groupoid of finite sets has a "canonical" structure of a symmetric 2-rig with the sum and product respectively given by the coproduct and product of sets. This 2-rig… Expand

The geometry of tensor calculus, I

- Mathematics
- 1991

This paper defines and proves the correctness of the appropriate string diagrams for various kinds of monoidal categories with duals. Mathematics Subject Classifications (1991). 18D10, 52B11, 53A45 ,… Expand

Algebraic Effects, Linearity, and Quantum Programming Languages

- Computer Science
- POPL 2015
- 2015

A new elementary algebraic theory of quantum computation, built from unitary gates and measurement is presented, and an equational theory for a quantum programming language is extracted from thegebraic theory. Expand

A complete language for faceted dataflow programs

- Computer Science, Mathematics
- ACT
- 2019

We present a complete categorical axiomatization of a wide class of dataflow programs. This gives a three-dimensional diagrammatic language for workflows, more expressive than the directed acyclic… Expand