A taxonomy of categories for relations
Fuente:
arXiv
Gespeichert in:
| Hauptverfasser: | , , |
|---|---|
| Format: | Preprint |
| Veröffentlicht: |
2025
|
| Schlagworte: | |
| Online-Zugang: | |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| _version_ | 1866911672433639424 |
|---|---|
| author | Cioffo, Cipriano Junior Gadducci, Fabio Trotta, Davide |
| author_facet | Cioffo, Cipriano Junior Gadducci, Fabio Trotta, Davide |
| contents | The study of categories that abstract the structural properties of relations has been extensively developed over the years, resulting in a rich and diverse body of work. This paper strives to provide a modern presentation of these ``categories for relations'', including their enriched version, further showing how they arise as Kleisli categories of symmetric monoidal monads. The resulting taxonomy aims at bringing clarity and organisation to the many related concepts and frameworks occurring in the literature. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2502_10323 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | A taxonomy of categories for relations Cioffo, Cipriano Junior Gadducci, Fabio Trotta, Davide Category Theory Logic in Computer Science F.3; F.4 The study of categories that abstract the structural properties of relations has been extensively developed over the years, resulting in a rich and diverse body of work. This paper strives to provide a modern presentation of these ``categories for relations'', including their enriched version, further showing how they arise as Kleisli categories of symmetric monoidal monads. The resulting taxonomy aims at bringing clarity and organisation to the many related concepts and frameworks occurring in the literature. |
| title | A taxonomy of categories for relations |
| topic | Category Theory Logic in Computer Science F.3; F.4 |
| url | https://arxiv.org/abs/2502.10323 |