Mario Román


Search IconIcon to open search

String Diagrams for Premonoidal Categories

Last updated Jul 11, 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.