research
∙
07/15/2022
A category-theoretic proof of the ergodic decomposition theorem
The ergodic decomposition theorem is a cornerstone result of dynamical s...
share
research
∙
05/31/2022
Concrete categories and higher-order recursion (With applications including probability, differentiability, and full abstraction)
We study concrete sheaf models for a call-by-value higher-order language...
research
∙
04/14/2022
Probability monads with submonads of deterministic states - Extended version
Probability theory can be studied synthetically as the computational eff...
research
∙
05/05/2021