Affiliation:
1. University of Pisa, Italy
2. University of Pisa, Italy / University of Sussex, UK
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.
Publisher
Association for Computing Machinery (ACM)
Subject
Safety, Risk, Reliability and Quality,Software
Reference68 articles.
1. Proof Diagrams for Multiplicative Linear Logic: Syntax and Semantics
2. The equational theory of union-free algebras of relations
3. M Backens . 2015. Completeness and the ZX-calculus. Ph. D. Dissertation . University of Oxford. https ://ora.ox.ac.uk/objects/uuid:01 2023 9e-b504-4376-973d-d720a095f02e M Backens. 2015. Completeness and the ZX-calculus. Ph. D. Dissertation. University of Oxford. https://ora.ox.ac.uk/objects/uuid:0120239e-b504-4376-973d-d720a095f02e
4. Categories In Control;Baez John;Theory and Applications of Categories,2015
5. Feedback and generalized logic
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. The Relational Machine Calculus;Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science;2024-07-08
2. Inductive Diagrams for Causal Reasoning;Proceedings of the ACM on Programming Languages;2024-04-29