3 citations · 3 across the 1 of their papers we have counts for
4 papers
Classifying topoi in synthetic guarded domain theory
Daniele Palombi, Jonathan Sterling
Several different topoi have played an important role in the development and applications of synthetic guarded domain theory (SGDT), a new kind of synthetic domain theory that abst…
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…
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…