paper

Promonads and String Diagrams for Effectful Categories

arXiv:2205.07664 · doi:10.4204/EPTCS.380.20

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.

Adds appendix to the Proceedings version ACT 2022, arXiv:2307.15519

Promonads and String Diagrams for Effectful Categories · wovepaper