28 citations · 77 across the 9 of their papers we have counts for
Showing 2025Show all
2 papers · 1 filter
math.CT2025
The Universal Property of Measure-Theoretic Probability
Eigil Fjeldgren Rischel
Building on work of Chen, we give a universal property of the Markov category BorelStoch of standard Borel spaces and Markov kernels between them. To do this, we introduce a new no…
cs.LO2025★ 1 cited
Metric Equational Theories
Radu Mardare, Neil Ghani, Eigil Rischel
This paper proposes appropriate sound and complete proof systems for algebraic structures over metric spaces by combining the development of Quantitative Equational Theories (QET)…