20 citations · 116 across the 25 of their papers we have counts for
5 papers · 1 filter
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…