Deconstructing the Calculus of Relations with Tape Diagrams
arXiv:2210.09950 · doi:10.1145/3571257
Abstract
Rig categories with finite biproducts are categories with two monoidal products, where one is a biproduct and the other distributes over it. In this work we present tape diagrams, a sound and complete diagrammatic language for these categories, that can be intuitively thought as string diagrams of string diagrams. We test the effectiveness of our approach against the positive fragment of Tarski's calculus of relations.
References in corpus (13)
- Interacting Quantum Observables: Categorical Algebra and Diagrammatics
- A survey of graphical languages for monoidal categories
- Analyzing the barren plateau phenomenon in training quantum neural networks with the ZX-calculus
- Modular categories as representations of the 3-dimensional bordism 2-category
- Finite dimensional Hilbert spaces are complete for dagger compact closed categories
- Concurrent Kleene Algebra: Free Model and Completeness
- A categorical approach to open and interconnected dynamical systems
- A presentation of the category of stochastic matrices
- Two Roads to Classicality
- Diagrammatic Differentiation for Quantum Machine Learning
- String Diagrams for Regular Logic (Extended Abstract)
- Sheet diagrams for bimonoidal categories
- Proof Diagrams for Multiplicative Linear Logic: Syntax and Semantics