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.
Added a reference of Robert Furber, Bart Jacobs at Giry monad.
I noticed that Giry monad used to jump into some details without really saying what’s going on first. I have now
added a minimum of an Idea-section;
split the “Outline” section into a Definition-section (and tried to make it read more like an actual definition) and a “Properties – Algebras”-section (which also deserves some streamlining, but I haven’t touched this);
touched the formatting of some of the references.
Experts who care might want to polish this entry a bit more.
I’ve added a reference to Tom Avery’s paper arxiv:1410.4432 and renamed the entry to ’Giry monad’ from ’Giry’s monad’.
Some of the literature on the Giry monad seems to be behind a paywall. Can anyone tell me whether the weak topology on the space $P(X)$ of Borel probability measures is the same as the topology induced by the Prokhorov metric? I have just added the latter as an example to further examples at Polish space, and would like to add this material plus a reference to Giry monad as well, but would like to check up on that point first.
Yes, at least for a complete separable metric space (that is to say Polish). Reference: Dudley, real analysis and probability.
Perfect; thank you Daniel. Is there a Theorem or page number where the statement is made?
complete answer: The statement holds actually even for any separable metric space. Reference: Dudley, Real Analysis and Probability, 2002, Theorem 11.3.3 page 395. Note that Dudley defines Prokhorov metric not according to normal terminology but introduces it calling it simply $\rho$. Anyway the cited theorem states the equivalence of all these notions of convergence, to roughly summarize the theorem: (almost) all reasonable notions of convergence of laws coincide on separable metric spaces (If you add even complete, I could not think of any reasonable notion that would not be equivalent to weak convergence).
Thank you again, Daniel. This is very helpful indeed.
I’m curious about the work by Voevodsky mentioned in this page. Unfortunately, I don’t speak Russian so I can’t watch the Moscow lecture. Does anyone know of any English-language paper, notes, or recorded lecture on this work?
Hi Evan. I looked around at the time that was added, but I never found anything.
Perhaps try contacting Zoran Skoda who wrote the part about Voevodsky.
Somebody at the Miami lecture must have taken notes. Could we try contacting somebody there? Looking at the faculty list, it is not obvious who might have invited him/known him, though.
Perhaps a good start is contacting Daniel Grayson?
You need to choose Markdown+Itex, so
Dan Grayson has now made it available here
Very nice. Thanks everyone for your help!
1 to 20 of 20