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]](http://eprints.adm.unipi.it/style/images/fileicons/application_pdf.png) |
PDF
Available under License Creative Commons Attribution No Derivatives. Download (1MB) |
Official URL: http://ricerca.di.unipi.it/rapporti-tecnici/
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 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 |
