41 citations · 136 across the 32 of their papers we have counts for
4 papers · 2 filters
Escrows are optics
Fabrizio Genovese, Fosco Loregian, Daniele Palombi
We provide a categorical interpretation for escrows, i.e. trading protocols in trustless environment, where the exchange between two agents is mediated by a third party where the b…
Differential 2-rigs
Fosco Loregian, Todd Trimble
We study the notion of a "differential 2-rig", a category R with coproducts and a monoidal structure distributing over them, also equipped with an endofunctor D : R -> R that satis…
A Categorical Semantics for Bounded Petri Nets
Fabrizio Romano Genovese, Fosco Loregian, Daniele Palombi
We provide a categorical semantics for bounded Petri nets, both in the collective- and individual-token philosophy. In both cases, we describe the process of bounding a net interna…
Nets with Mana: A Framework for Chemical Reaction Modelling
Fabrizio Romano Genovese, Fosco Loregian, Daniele Palombi
We use categorical methods to define a new flavor of Petri nets where transitions can only fire a limited number of times, specified by a quantity that we call mana. We do so with…