research
∙
04/27/2023
Categorical Foundations of Explainable AI
Explainable AI (XAI) aims to address the human need for safe and reliabl...
share
research
∙
01/30/2023
Evidential Decision Theory via Partial Markov Categories
We introduce partial Markov categories. In the same way that Markov cate...
research
∙
12/30/2022
Coinductive Streams in Monoidal Categories
We introduce monoidal streams. Monoidal streams are a generalization of ...
research
∙
05/18/2022
Monoidal Width: Capturing Rank Width
Monoidal width was recently introduced by the authors as a measure of th...
research
∙
02/15/2022
Monoidal Width
We introduce monoidal width as a measure of the difficulty of decomposin...
research
∙
02/04/2022
Monoidal Streams for Dataflow Programming
We introduce monoidal streams: a generalization of causal stream functio...
research
∙
05/26/2021
Dialectica Petri nets
The categorical modeling of Petri nets has received much attention recen...
research
∙
10/20/2020
A canonical algebra of open transition systems
Feedback and state are closely interrelated concepts. Categories with fe...
research
∙
06/05/2020
Games on graphs: a compositional approach
The analysis of games played on graph-like structures is of increasing i...
research
∙
05/19/2020