research
∙
07/26/2023
Obstructions to Compositionality
Compositionality is at the heart of computer science and several other a...
share
research
∙
02/26/2021
Yoneda Hacking: The Algebra of Attacker Actions
Our work focuses on modeling security of systems from their component-le...
research
∙
01/29/2021
A Categorical Semantics for Hierarchical Petri Nets
We show how a particular flavor of hierarchical nets, where the firing o...
research
∙
01/22/2021
A Categorical Semantics for Bounded Petri Nets
We provide a categorical semantics for bounded Petri nets, both in the c...
research
∙
01/29/2020
A Categorical Semantics for Guarded Petri Nets
We build on the correspondence between Petri nets and frees ymmetric str...
research
∙
11/25/2019
idris-ct: A Library to do Category Theory in Idris
We introduce idris-ct, a Idris library providing verified type definitio...
research
∙
09/06/2019
Mapping finite state machines to zk-SNARKS Using Category Theory
We provide a categorical procedure to turn graphs corresponding to state...
research
∙
06/18/2019
The Mathematical Specification of the Statebox Language
This document defines the mathematical backbone of the Statebox programm...
research
∙
04/29/2019
Computational Petri Nets: Adjunctions Considered Harmful
We review some of the endeavors in trying to connect Petri nets with fre...
research
∙
03/24/2017
Interacting Conceptual Spaces I : Grammatical Composition of Concepts
The categorical compositional approach to meaning has been successfully ...
research
∙
08/04/2016
