19 citations · 61 across the 10 of their papers we have counts for
Showing math.CTShow all
3 papers · 1 filter
math.CT2022★ 2 cited
Promonads and String Diagrams for Effectful Categories
Mario Román
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…
math.CT2020
Span(Graph): a Canonical Feedback Algebra of Open Transition Systems
Elena Di Lavore, Alessandro Gianola, Mario Román +2
We show that Span(Graph)*, an algebra for open transition systems introduced by Katis, Sabadini and Walters, satisfies a universal property. By itself, this is a justification of t…
math.CT2020★ 18 cited
Open Diagrams via Coend Calculus
Mario Román
Morphisms in a monoidal category are usually interpreted as processes, and graphically depicted as square boxes. In practice, we are faced with the problem of interpreting what non…