Università di Pisa
Sistema bibliotecario di ateneo

Tape diagrams for rig categories with finite biproducts

Bonchi, Filippo and Di Giorgio, Alessandro and Santamaria, Alessio (2022) Tape diagrams for rig categories with finite biproducts. Technical Report del Dipartimento di Informatica, TR . University of Pisa, Pisa, IT. (Unpublished)

[img] PDF
Available under License Creative Commons Attribution No Derivatives.

Download (1MB)


Rig categories with finite biproducts are categories with two monoidal products, where one is a biproduct and the other distributes over it. In this report we present tape diagrams, a sound and complete diagrammatic language for rig categories with finite biproducts, which can be thought intuitively as string diagrams of string diagrams.

Item Type: Book
Subjects: Area01 - Scienze matematiche e informatiche > INF/01 - Informatica
Divisions: Dipartimenti (from 2013) > DIPARTIMENTO DI INFORMATICA
Depositing User: Alessandro Di Giorgio
Date Deposited: 27 Apr 2022 07:18
Last Modified: 27 Apr 2022 07:18
URI: http://eprints.adm.unipi.it/id/eprint/2404

Repository staff only actions

View Item View Item