New preprint time! “Sheet diagrams for bimonoidal categories” by Cole Comfort, Antonin Delpeuch and me
We give a sound + complete graphical language for bimonoidal categories (aka rig categories), which have 2 monoidal products and a distributive law
arxiv.org/abs/2010.13361
Conversation
I feel like you may be interested in this...
1
2
I gave it a ♥️ haha! 😂
The diagrams are amazzzing.