1 citations · 1 across the 5 of their papers we have counts for
5 papers
Graded Monad Coalgebras for Continuous-Time Transition Systems
Elena Di Lavore, Jonas Forster, Mario Román
Functor coalgebras capture a wide range of transition systems that must however evolve in discrete steps. We introduce graded coalgebras of graded monads and propose them to model…
Monoidal categories graded by partial commutative monoids
Matthew Earnshaw, Chad Nester, Mario Román
Effectful categories have two classes of morphisms: pure morphisms, which form a monoidal category; and effectful morphisms, which can only be combined monoidally with central morp…
Resourceful Traces for Commuting Processes
Matthew Earnshaw, Chad Nester, Mario Román
We show that, when the actions of a Mazurkiewicz trace are considered not merely as atomic (i.e., mere names) but transformations from a specified type of inputs to a specified typ…
Context-Free Languages of String Diagrams
Matt Earnshaw, Mario Román
We introduce context-free languages of morphisms in monoidal categories, extending recent work on the categorification of context-free languages, and regular languages of string di…
Monoidal Context Theory
Mario Román
We universally characterize the produoidal category of monoidal lenses over a monoidal category. In the same way that each category induces a cofree promonoidal category of spliced…