64 citations · 159 across the 14 of their papers we have counts for
Showing 2022Show all
3 papers · 1 filter
math.DS2022★ 12 cited
A category-theoretic proof of the ergodic decomposition theorem
Sean Moss, Paolo Perrone
The ergodic decomposition theorem is a cornerstone result of dynamical systems and ergodic theory. It states that every invariant measure on a dynamical system is a mixture of ergo…
cs.PL2022★ 3 cited
Concrete categories and higher-order recursion (With applications including probability, differentiability, and full abstraction)
Cristina Matache, Sean Moss, Sam Staton
We study concrete sheaf models for a call-by-value higher-order language with recursion. Our family of sheaf models is a generalization of many examples from the literature, such a…
cs.LO2022★ 6 cited
Probability monads with submonads of deterministic states - Extended version
Sean Moss, Paolo Perrone
Probability theory can be studied synthetically as the computational effect embodied by a commutative monad. In the recently proposed Markov categories, one works with an abstracti…