Eigil Rischel
eigil@mathstodon.xyz
<p>Research Consultant at the Tallinn University of Technology.</p><p>I work on applications of category theory to probability theory.</p>
Posts
-
Post #2103473
On the occasion of my return to Mathstodon, a short note about my most recent preprint, The Universal Property of Measure-Theoretic Probability (https://arxiv.org/abs/2512.15485). To summarize, I prove the following theorem: Among Markov categories \(\mathcal{C}\) such that - The deterministic subcategory \(\mathcal{C}_\mathrm{det}\) is countably complete, (countably) extensive and Boolean, - the inclusion \(\mathcal{C}_\mathrm{det} \hookrightarrow \mathcal{C}\) preserves the countable coproduc...