University of Sussex
Browse
3571257.pdf (501.19 kB)

Deconstructing the calculus of relations with tape diagrams

Download (501.19 kB)
journal contribution
posted on 2023-06-10, 06:24 authored by Filippo Bonchi, Alessandro Di Giorgio, Alessio Santamaria
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.

History

Publication status

  • Published

File Version

  • Published version

Journal

Proceedings of the ACM on Programming Languages

ISSN

2475-1421

Publisher

Association for Computing Machinery (ACM)

Volume

7

Page range

1864-1894

Department affiliated with

  • Informatics Publications

Full text available

  • Yes

Peer reviewed?

  • Yes

Legacy Posted Date

2023-03-02

First Open Access (FOA) Date

2023-03-02

First Compliant Deposit (FCD) Date

2023-03-02

Usage metrics

    University of Sussex (Publications)

    Categories

    No categories selected

    Exports

    RefWorks
    BibTeX
    Ref. manager
    Endnote
    DataCite
    NLM
    DC