10 citations · 52 across the 17 of their papers we have counts for
Showing 2020Show all
2 papers · 1 filter
math.CT2020★ 5 cited
Sheet diagrams for bimonoidal categories
Cole Comfort, Antonin Delpeuch, Jules Hedges
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 grap…
cs.LO2020★ 7 cited
The ZX&-calculus: A complete graphical calculus for classical circuits using spiders
Cole Comfort
We give a complete presentation for the fragment, ZX&, of the ZX-calculus generated by the Z and X spiders (corresponding to copying and addition) along with the not gate and the a…