Promonads and String Diagrams for Effectful Categories
Mario Román · Electronic Proceedings in Theoretical Computer Science · 2023
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.