4 papers
Clock systems for stochastic and non-deterministic categorical systems theories
Owen Lynch, David Jaz Myers, Eigil Fjeldgren Rischel +1
One of the characteristic features of categorical systems theory is that the behavior of systems can be characterized by certain morphisms into them. In other words, behaviors form…
Convex Duality Made Difficult
Eigil Fjeldgren Rischel
The study of convex functions - in particular, of their optimization (really minimization) is one of the most important fields of applied mathematics. Convexity seems to be one of…
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…
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)…