String Diagrams for Premonoidal Categories (Roman, 2023)
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.
- ArXiv preprint.
- This paper is an extended journal version of the first part of Promonads and String Diagrams for Effectful Categories (Roman, 2022), presented at ACT 2022.
