19 citations · 61 across the 10 of their papers we have counts for
Showing 2020 · math.CTShow all
2 papers · 2 filters
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…