20 citations · 116 across the 25 of their papers we have counts for
12 papers · 1 filter
Obstructions to Compositionality
Caterina Puca, Amar Hadzihasanovic, Fabrizio Genovese +1
Compositionality is at the heart of computer science and several other areas of applied category theory such as computational linguistics, categorical quantum mechanics, interpreta…
Fibrational Linguistics (FibLang): Language Acquisition
Fabrizio Genovese, Fosco Loregian, Caterina Puca
In this work we show how FibLang, a category-theoretic framework concerned with the interplay between language and meaning, can be used to describe vocabulary acquisition, that is…
Fibrational linguistics: First concepts
Fabrizio Genovese, Fosco Loregian, Caterina Puca
We define a general mathematical framework for linguistics based on the theory of fibrations, called FibLang. We start by modelling the interaction between linguistics and cognitio…
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 Hierarchical Petri Nets
Fabrizio Romano Genovese, Jelle Herold, Fosco Loregian +1
We show how a particular variety of hierarchical nets, where the firing of a transition in the parent net must correspond to an execution in some child net, can be modelled utilizi…
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…
Categories of Nets
John C. Baez, Fabrizio Genovese, Jade Master +1
We present a unified framework for Petri nets and various variants, such as pre-nets and Kock's whole-grain Petri nets. Our framework is based on a less well-studied notion that we…
A Categorical Semantics for Guarded Petri Nets
Fabrizio Genovese, David I. Spivak
We build on the correspondence between Petri nets and free symmetric strict monoidal categories already investigated in the literature, and present a categorical semantics for Petr…
The Essence of Petri Net Gluings
Fabrizio Genovese, Fosco Loregian, Daniele Palombi
Many categorical frameworks have been proposed to formalize the idea of gluing Petri nets with each other. Such frameworks model net gluings in terms of sharing of resources or syn…
Computational Petri Nets: Adjunctions Considered Harmful
Fabrizio Genovese, Alex Gryzlov, Jelle Herold +3
We review some of the endeavors in trying to connect Petri nets with free symmetric monoidal categories. We give a list of requirement such connections should respect if they are m…
Executions in (Semi-)Integer Petri Nets are Compact Closed Categories
Fabrizio Genovese, Jelle Herold
In this work, we analyse Petri nets where places are allowed to have a negative number of tokens. For each net we build its correspondent category of executions, which is compact c…