Promonads and String Diagrams for Effectful Categories
Fuente:
arXiv
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Preprint |
| Veröffentlicht: |
2022
|
| Schlagworte: | |
| Online-Zugang: | |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| _version_ | 1866909186658402304 |
|---|---|
| author | Román, Mario |
| author_facet | Román, Mario |
| contents | Premonoidal and Freyd categories are both generalized by non-cartesian Freyd categories: effectful categories. We construct string diagrams for effectful categories in terms of the string diagrams for a monoidal category with a freely added object. We show that effectful categories are pseudomonoids in a monoidal bicategory of promonads with a suitable tensor product. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2205_07664 |
| institution | arXiv |
| publishDate | 2022 |
| record_format | arxiv |
| spellingShingle | Promonads and String Diagrams for Effectful Categories Román, Mario Category Theory Logic in Computer Science Premonoidal and Freyd categories are both generalized by non-cartesian Freyd categories: effectful categories. We construct string diagrams for effectful categories in terms of the string diagrams for a monoidal category with a freely added object. We show that effectful categories are pseudomonoids in a monoidal bicategory of promonads with a suitable tensor product. |
| title | Promonads and String Diagrams for Effectful Categories |
| topic | Category Theory Logic in Computer Science |
| url | https://arxiv.org/abs/2205.07664 |