3571257.pdf (501.19 kB)
Deconstructing the calculus of relations with tape diagrams
journal contribution
posted on 2023-06-10, 06:24 authored by Filippo Bonchi, Alessandro Di Giorgio, Alessio SantamariaRig 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.
History
Publication status
- Published
File Version
- Published version
Journal
Proceedings of the ACM on Programming LanguagesISSN
2475-1421Publisher
Association for Computing Machinery (ACM)External DOI
Volume
7Page range
1864-1894Department affiliated with
- Informatics Publications
Full text available
- Yes
Peer reviewed?
- Yes
Legacy Posted Date
2023-03-02First Open Access (FOA) Date
2023-03-02First Compliant Deposit (FCD) Date
2023-03-02Usage metrics
Categories
No categories selectedKeywords
Licence
Exports
RefWorks
BibTeX
Ref. manager
Endnote
DataCite
NLM
DC