Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
It’s good to have you constructing this page. At some point I want to get round to thinking about probability theory meets type theory. I was rambling out loud in a thread starting about here.
Thank you for the edit - yeah, I’m so used to LaTeX.
About type theory and probability theory: it’s been a recurrent thought for me as well, but I don’t know enough about type theory to say something meaningful yet…
I noticed that in the overview table, the extra structure on $PX$ for the Riesz and Baire monads was described as “the weak topology w.r.t continuous bounded functions”, which is unfortunately not quite correct (though it does hold on Polish spaces, where both reduce to the well-known monad further above in the table). I changed the description to “induced by cartesian closedness” which might be a bit vague, but I hope it’s sufficient for an overview like this.
Benedikt Peterseim
1 to 9 of 9