research
∙
08/21/2020
Logic-Induced Bisimulations
We define a new logic-induced notion of bisimulation (called ρ-bisimulat...
share
research
∙
04/16/2020
Completeness of Nominal PROPs
We introduce nominal string diagrams as string diagrams internal in the ...
research
∙
12/18/2019
Stone Duality for Relations
We show how Stone duality can be extended from maps to relations. This i...
research
∙
04/16/2019
Nominal String Diagrams
We introduce nominal string diagrams as, string diagrams internal in the...
research
∙
12/18/2018
The positivication of coalgebraic logics
We present positive coalgebraic logic in full generality, and show how t...
research
∙
09/06/2018
Extending set functors to generalised metric spaces
For a commutative quantale V, the category V-cat can be perceived as a c...
research
∙
12/27/2017