Promonads and String Diagrams for Effectful Categories
Category Theory
2024-05-03 v4 Logic in Computer Science
Abstract
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.
Keywords
Cite
@article{arxiv.2205.07664,
title = {Promonads and String Diagrams for Effectful Categories},
author = {Mario Román},
journal= {arXiv preprint arXiv:2205.07664},
year = {2024}
}
Comments
Adds appendix to the Proceedings version ACT 2022, arXiv:2307.15519