research
∙
03/23/2020
Dichotomy between deterministic and probabilistic models in countably additive effectus theory
Effectus theory is a relatively new approach to categorical logic that c...
share
research
∙
01/17/2020
Preservation of Equations by Monoidal Monads
If a monad T is monoidal, then operations on a set X can be lifted canon...
research
∙
12/20/2019
A characterisation of ordered abstract probabilities
In computer science, especially when dealing with quantum computing or o...
research
∙
12/20/2019
A characterization of ordered abstract probabilities
In computer science, especially when dealing with quantum computing or o...
research
∙
03/05/2018
Dagger and dilations in the category of von Neumann algebras
This doctoral thesis is a mathematical study of quantum computing, conce...
research
∙
11/15/2017