20 citations · 116 across the 25 of their papers we have counts for
25 papers
A Note on Publicly Verifiable Quantum Money with Low Quantum Computational Resources
Fabrizio Genovese, Lev Stambler
In this work we present a publicly verifiable quantum money protocol which assumes close to no quantum computational capabilities. We rely on one-time memories which in turn can be…
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…
Yoneda Hacking: The Algebra of Attacker Actions
Georgios Bakirtzis, Fabrizio Genovese, Cody H. Fleming
Our work focuses on modeling the security of systems from their component-level designs. Towards this goal, we develop a categorical formalism to model attacker actions. Equipping…
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…
idris-ct: A Library to do Category Theory in Idris
Fabrizio Genovese, Alex Gryzlov, Jelle Herold +4
We introduce idris-ct, a Idris library providing verified type definitions of categorical concepts.idris-ct strives to be a bridge between academy and industry, catering both to ca…
Mapping finite state machines to zk-SNARKS Using Category Theory
Fabrizio Genovese, Andre Knispel, Joshua Fitzgerald
We provide a categorical procedure to turn graphs corresponding to state spaces of finite state machines into boolean circuits, leveraging on the fact that boolean circuits can be…
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…
The Mathematical Specification of the Statebox Language
Statebox Team, Fabrizio Genovese, Jelle Herold
This document defines the mathematical backbone of the Statebox programming language. In the simplest way possible, Statebox can be seen as a clever way to tie together different t…
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…
Quantum Field Theory in Categorical Quantum Mechanics
Stefano Gogioso, Fabrizio Genovese
We use tools from non-standard analysis to formulate the building blocks of quantum field theory within the framework of categorical quantum mechanics. Building upon previous work,…
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…
Uniqueness of Composition in Quantum Theory and Linguistics
Bob Coecke, Fabrizio Genovese, Stefano Gogioso +2
We derive a uniqueness result for non-Cartesian composition of systems in a large class of process theories, with important implications for quantum theory and linguistics. Specifi…
The Way of the Infinitesimal
Fabrizio Genovese
A short tutorial on non-standard analysis, made in particular for people working in the Categorical Quantum Mechanics crowd.
Custom Hypergraph Categories via Generalized Relations
Dan Marsden, Fabrizio Genovese
Process theories combine a graphical language for compositional reasoning with an underlying categorical semantics. They have been successfully applied to fields such as quantum co…
Towards Quantum Field Theory in Categorical Quantum Mechanics
Stefano Gogioso, Fabrizio Genovese
In this work, we use tools from non-standard analysis to introduce infinite-dimensional quantum systems and quantum fields within the framework of Categorical Quantum Mechanics. We…
Interacting Conceptual Spaces I : Grammatical Composition of Concepts
Joe Bolt, Bob Coecke, Fabrizio Genovese +3
The categorical compositional approach to meaning has been successfully applied in natural language processing, outperforming other models in mainstream empirical language processi…
Interacting Conceptual Spaces
Josef Bolt, Bob Coecke, Fabrizio Genovese +3
We propose applying the categorical compositional scheme of [6] to conceptual space models of cognition. In order to do this we introduce the category of convex relations as a new…