Not signed in (Sign In)

Not signed in

Want to take part in these discussions? Sign in if you have an account, or apply for one below

  • Sign in using OpenID

Discussion Tag Cloud

Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.

Welcome to nForum
If you want to take part in these discussions either sign in now (if you have an account), apply for one now (if you don't).
    • CommentRowNumber1.
    • CommentAuthorzskoda
    • CommentTimeNov 21st 2013

    Added a reference of Robert Furber, Bart Jacobs at Giry monad.

    • CommentRowNumber2.
    • CommentAuthorUrs
    • CommentTimeMay 20th 2014
    • (edited May 20th 2014)

    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.

    • CommentRowNumber3.
    • CommentAuthorThomas Holder
    • CommentTimeJun 24th 2014
    Kirk Sturtz has put 'The Giry monad as a codensity monad' ([pdf](http://arxiv.org/pdf/1406.6030.pdf)) on the arXiv recently which I've added to reference section together with a link to Brendan Fong's paper on Bayesian networks. I guess Sturtz' results should be worked into the main text as well. There's also an unfortunate orthographic divergence occurring: the monad is called 'Giry monad' as well as 'Giry's monad' in the entry (title).
    • CommentRowNumber4.
    • CommentAuthorThomas Holder
    • CommentTimeOct 17th 2014

    I’ve added a reference to Tom Avery’s paper arxiv:1410.4432 and renamed the entry to ’Giry monad’ from ’Giry’s monad’.

    • CommentRowNumber5.
    • CommentAuthorTodd_Trimble
    • CommentTimeJul 25th 2016

    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)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.

  1. Yes, at least for a complete separable metric space (that is to say Polish). Reference: Dudley, real analysis and probability.

    • CommentRowNumber7.
    • CommentAuthorTodd_Trimble
    • CommentTimeJul 25th 2016

    Perfect; thank you Daniel. Is there a Theorem or page number where the statement is made?

  2. 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).

    • CommentRowNumber9.
    • CommentAuthorTodd_Trimble
    • CommentTimeJul 27th 2016

    Thank you again, Daniel. This is very helpful indeed.

  3. Added a short history of the Giry monad, and updated reference to my published work.

    K. Sturtz

    diff, v23, current

    • CommentRowNumber11.
    • CommentAuthorTim_Porter
    • CommentTimeOct 31st 2018

    I added in the first name of Elisabeth Burroni.

    diff, v25, current

    • CommentRowNumber12.
    • CommentAuthorEvan Patterson
    • CommentTimeFeb 8th 2019

    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?

    • CommentRowNumber13.
    • CommentAuthorDavid_Corfield
    • CommentTimeFeb 8th 2019

    Hi Evan. I looked around at the time that was added, but I never found anything.

    • CommentRowNumber14.
    • CommentAuthorAli Caglayan
    • CommentTimeFeb 8th 2019

    Perhaps try contacting Zoran Skoda who wrote the part about Voevodsky.

  4. 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.

    • CommentRowNumber16.
    • CommentAuthorAli Caglayan
    • CommentTimeFeb 9th 2019

    Perhaps a good start is contacting Daniel Grayson?

    • CommentRowNumber17.
    • CommentAuthorspitters
    • CommentTimeFeb 9th 2019
    • (edited Feb 9th 2019)
    Vladimir send me a copy in 2014. Dan Grayson has now made it available [here](http://www.math.ias.edu/Voevodsky/voevodsky-publications_abstracts.html#markov)
    • CommentRowNumber18.
    • CommentAuthorDavid_Corfield
    • CommentTimeFeb 9th 2019

    You need to choose Markdown+Itex, so

    Dan Grayson has now made it available here

    • CommentRowNumber19.
    • CommentAuthorEvan Patterson
    • CommentTimeFeb 10th 2019

    Very nice. Thanks everyone for your help!

    • CommentRowNumber20.
    • CommentAuthorEvan Patterson
    • CommentTimeFeb 10th 2019

    Added a link to Voevodsky’s unfinished notes on categorical probability theory.

    diff, v28, current

    • CommentRowNumber21.
    • CommentAuthorSam Staton
    • CommentTimeJul 22nd 2019

    Hi, Someone just pointed out that, earlier this month, some claims were added by Kirk Sturtz about “super convex sets” and his recent arxiv preprint. I don’t entirely understand the preprint or the claims. Not sure how best to handle this here.

    • CommentRowNumber22.
    • CommentAuthorUrs
    • CommentTimeJul 22nd 2019

    Thanks for the alert!

    The additions by Sturtz are in rev 31, rev 32 and some reformatting of references in rev 33.

    Haven’t looked into the actual content, but it does seem strange that rev 31 effectively changes the previous content without further notice into the terminology apparently introduced in Sturtz’s article. At the very least it seems the original content should have been kept, and instead a remark be added that an alternative has been suggested.

    Not sure how best to handle this here.

    Since we haven’t seen Sturtz here, while you are a regular, and if, as you seem to say, you are familiar with the subject, have looked into the edits and the article, and find that it does not make sense, then the way to handle this is to roll back to before these edits, hence to rev 30.

    • CommentRowNumber23.
    • CommentAuthorDavid_Corfield
    • CommentTimeJul 22nd 2019

    Sturtz had made earlier edits to the page, including items which the new material addresses. It would be good to have some expert input. The page is probably due an overhaul anyway.

    • CommentRowNumber24.
    • CommentAuthorRichard Williamson
    • CommentTimeJul 22nd 2019
    • (edited Jul 22nd 2019)

    If one looks at some of the earlier revisions which David mentions, it seems that Kirk has only either added material or modified bits which already referred to his work. Thus perhaps a reasonable step would be to send an email and invite him to join this discussion and perhaps give an overview of his contributions to the page thus far?

    • CommentRowNumber25.
    • CommentAuthorSam Staton
    • CommentTimeJul 24th 2019

    Abbreviated bit about active research for now, as discussed on nforum.

    diff, v34, current

    • CommentRowNumber26.
    • CommentAuthorSam Staton
    • CommentTimeJul 24th 2019
    • (edited Jul 24th 2019)

    Here is the bit I cut (for now).

    The results of Doberkat can be generalized to the Giry monad GG on all measurable spaces by using the factorization of the Giry monad through the category of super convex spaces SCvx\mathbf{SCvx}, by viewing the Giry monad itself as a functor into that category. (A super convex space is similar to a convex space except the structure requires that if {α i} i=1 \{\alpha_i\}_{i=1}^{\infty} is any countable partition of unity (so the limit of the sum is one), then for any sequence of points in a super convex space AA, the countable sum i=1 α ia i\sum_{i=1}^{\infty} \alpha_i a_i is also an element of the space. The morphisms in the category preserve the countable affine sums. The right adjoint of that functor assigns to each convex space the measurable space, defined on the underlying set, with the initial σ\sigma-algebra generated by all the countably affine maps into the one point extension of the real line \mathbb{R}_{\infty}. The construction of the counit amounts to using the fact that the full subcategory consisting of the single object \mathbb{R}_{\infty} is condense in SCvx\mathbf{SCvx}. This implies that every \mathbb{R}_{\infty}-generalized point of a super convex space AA is an evaluation map, at a unique point aa of AA. Using this fact, given any arbitrary probability measure PP defined on ΣA\Sigma A, one takes the restriction of PP, viewed as an operator Meas(ΣA, ) \mathbf{Meas}(\Sigma A, \mathbb{R}_{\infty}) \rightarrow \mathbb{R}_{\infty}, mapping f AfdPf \mapsto \int_A f \, dP, to the subset of countably affine maps, SCvx(A, ) \mathbf{SCvx}(A, \mathbb{R}_{\infty}) \rightarrow \mathbb{R}_{\infty}. This restriction process yields an \mathbb{R}_{\infty}-generalized point in SCvx\mathbf{SCvx} which is necessarily a unique point of AA since \mathbb{R}_{\infty} is condense in SCvx\mathbf{SCvx}.

    As an illustration, the half open interval [0,)[0,\infty) is not a super convex space because one can take the countable partition of one given by {12 i} i=1 \{\frac{1}{2^i}\}_{i=1}^{\infty}, and a set of points {i2 i} i=1 \{i 2^i\}_{i=1}^{\infty} in [0,)[0,\infty) so that the countably infinite sum { i=1 i2 i2 i} i=1 \{\sum_{i=1}^{\infty}\frac{i 2^i}{2^i}\}_{i=1}^{\infty} does not exist. This shows that [0,)[0,\infty) is not a super convex space and explains why there is no barycenter map for this space. (Consider the half-Cauchy distribution.) On the other hand, the open unit interval, (0,1)(0,1) is a super convex space and does have a barycenter. This illustrates that compactness is not a requirement for a barycenter map to exist, only the property of being a super convex space is necessary. (But it does tie in a sequential completeness condition - thereby making a connection with the topological viewpoint.)

    The category of super convex spaces is equivalent to the category of Giry algebras.

    • CommentRowNumber27.
    • CommentAuthorDavidRoberts
    • CommentTimeJul 24th 2019

    @Sam, if you edit #26 and select the Markdown+Itex option and resubmit, it will be properly formatted.

    • CommentRowNumber28.
    • CommentAuthorSam Staton
    • CommentTimeJul 24th 2019

    A note about my personal confusion about these developments from Sturtz.

    As far as I understand, a superconvex space is like a convex space except also allowing infinite formal sums weighted by convergent sequences of reals. (This is reasonable, and ties to Avery/Sturtz’s codensity characterizations, which should be mentioned properly somewhere.) But if Giry-algebras are supposed to be the same as plain superconvex sets, then I don’t see where the additional structure of a sigma-algebra comes from. I can see how to make up a sigma-algebra on an arbitrary superconvex set, but I don’t see why this is the only consistent sigma-algebra. Maybe the sigma-algebra is actually supposed to be given as extra data, but this is not mentioned in the latest arxiv paper by Sturtz.

    • CommentRowNumber29.
    • CommentAuthorSam Staton
    • CommentTimeJul 24th 2019

    @DavidRoberts, thanks, re #27.

    • CommentRowNumber30.
    • CommentAuthorPaoloPerrone
    • CommentTimeOct 20th 2019

    added related concepts

    diff, v37, current

    • CommentRowNumber31.
    • CommentAuthorTobias Fritz
    • CommentTimeJun 7th 2020

    corrected, as per personal communication with Bill Lawvere

    diff, v39, current

    • CommentRowNumber32.
    • CommentAuthorTobias Fritz
    • CommentTimeJun 7th 2020

    corrected as per personal communication with Bill Lawvere

    diff, v39, current

  5. I don’t want to appear like a bookie but would it be accepted if I put a footnote there for this bit of private communication?

    • CommentRowNumber34.
    • CommentAuthorDavidRoberts
    • CommentTimeJun 8th 2020

    I think that would be good.

    • CommentRowNumber35.
    • CommentAuthorDmitri Pavlov
    • CommentTimeJun 8th 2020

    I feel like some part is missing from this story. Why was it attached as an appendix to this unrelated report?

  6. Footnote added.

    Anonymous

    diff, v40, current

    • CommentRowNumber37.
    • CommentAuthorUrs
    • CommentTimeJun 9th 2020

    I have added to the text pointer to the reference in question.

    Can we give poor Michèle Giry a hyperlink?

    I suggest to move the section “History” from the top to the bottom of the entry. This is distractive miscellenania barely on topic, which the reader should not need to skip through to find out what a Giry monad is in the first place.

    diff, v42, current

  7. Actually, the footnote created only a mess, because Tobias had already elaborated in the reference section. Added a link instead.

    diff, v43, current

  8. Sorry, confused correspondence with Sturtz by correspondence with Tobias Fritz. Corrected now.

    diff, v43, current

    • CommentRowNumber40.
    • CommentAuthorDavidRoberts
    • CommentTimeJun 9th 2020
    • (edited Jun 9th 2020)

    Can we do something about this abomination of a non-reference?

    Doberkat has a longer article on Eilenberg-Moore algebras of the Giry monad as item 5 here. (Unfortunately, the monograph ‘Stochastic Relations: Foundations for Markov Transition Systems’ doesn’t appear to be available.)

    now that link is broken, it is useless. Why not give the name? Was item 5 the named paper or something else? What if the numbering had changed?

    Edit: the monograph is available, as a book for purchase: https://books.google.com.au/books/about/Stochastic_Relations.html?id=_OmI_xrYqawC&redir_esc=y, so this sentence makes one think it is nowhere available. I will edit the page to fix this, but not now. I will see if I can track anything down about the mysterious “item 5”, if no one else knows what it might be.

    • CommentRowNumber41.
    • CommentAuthorDavid_Corfield
    • CommentTimeJun 9th 2020

    It’s been there right from the start rev 1.

    • CommentRowNumber42.
    • CommentAuthorDavidRoberts
    • CommentTimeJun 9th 2020

    Updating various references with journal links etc.

    diff, v44, current

    • CommentRowNumber43.
    • CommentAuthorDavidRoberts
    • CommentTimeJun 9th 2020

    OK, so “item 5” in this Internet Archive capture is

    1. E.-E. Doberkat, Ch. Schubert: Coalgebraic Logic Over General Measurable Spaces – A Survey. Math. Struct. Comp. Sci. 21 (2), 2011, 175 - 234 (pdf). We discuss in this survey the generalization of stochastic Kripke models for general modal logics through predicate liftings for functors over general measurable spaces. Results on expressivity are derived, and it is shown that selection arguments permit incorporating the discussion of bisimilarity, provided the underlying spaces are assumed to be Polish.

    which doesn’t look right. Looking at those entries that mention ’Eilenberg’ or ’Giry’, it’s hard to tell which, if any, our article is meant to be describing.

    • CommentRowNumber44.
    • CommentAuthorDavidRoberts
    • CommentTimeJun 9th 2020
    • (edited Jun 9th 2020)

    This reference seems to have been added by Zoran in May 2013, which is over a year from the last Wayback machine capture, so it’s conceivable the items were renumbered, though Coalgebraic Logic Over General Measurable Spaces – A Survey is the best bet for what was meant. I may have a look tomorrow at the article to see if it is even relevant, if Zoran (or someone else) doesn’t pipe and correct me.

    • CommentRowNumber45.
    • CommentAuthorTim_Porter
    • CommentTimeJun 9th 2020
    • (edited Jun 9th 2020)

    About Michèle Giry, I met her just once in Madame Ehresmann’s office in Amiens. I believe she became a secondary school teacher and then went into teacher training. She used to have a webpage in the University of Amiens but that link is now dead so I presume she has retired.

    • CommentRowNumber46.
    • CommentAuthorzskoda
    • CommentTimeJun 10th 2020
    • (edited Jun 10th 2020)

    I remember discussing one Doberkat’s paper on stochastic stuff and Giry monads and generalizations with Roland Fridrich at the time, actually several years earlier. Later Doberkat had some new articles which touched the topic and I got hold of the book only later. Which was original viewed, I should look at time stamps in my old directories. I can not do in the very moment, but I will check this later, thanks.

    • CommentRowNumber47.
    • CommentAuthorzskoda
    • CommentTimeJun 10th 2020

    40: according to vague memory it was this Dortmund preprint Characterizing the Eilenberg-Moore algebras for a monad of stochastic relations, listed at Giry monad. In any case it was not from a journal but a preprint of similar look and the content fits.

    • CommentRowNumber48.
    • CommentAuthorUrs
    • CommentTimeJun 12th 2020

    have moved the “History”-section from being the second to being the second-to-last one (i.e. right before the references).

    Changed the very first line of the entry from

    The Giry monad (Giry 80) …

    to

    The Giry monad (Giry 80, following Lawvere 62)

    diff, v47, current

    • CommentRowNumber49.
    • CommentAuthorTobias Fritz
    • CommentTimeJun 14th 2020

    Dmitri Pavlov wrote at #35:

    I feel like some part is missing from this story. Why was it attached as an appendix to this unrelated report?

    Apparently this appendix was intended to provide a reasonable framework for the development of verification protocols in the arms control context. We also have Lawvere on video telling the story himself! I will add this link to the page.

    • CommentRowNumber50.
    • CommentAuthorTobias Fritz
    • CommentTimeJun 14th 2020

    I removed the reference to personal communication with me since we also have the video. Added that Lawvere’s appendix was intended as a framework for verification protocols on arms control

    diff, v48, current

    • CommentRowNumber51.
    • CommentAuthorDmitri Pavlov
    • CommentTimeJun 14th 2020

    Added a transcript of Lawvere’s comments.

    diff, v49, current

    • CommentRowNumber52.
    • CommentAuthorUrs
    • CommentTimeJun 14th 2020

    I have taken the liberty of turning the footnote into an item in the list if references – because that’s what it is and how you are using it in the text. Then I replaced the unspecified “in a video comment” with actual pointer to that reference.

    (Am relieved to hear that the Pentagon doesn’t disagree with the category of probabilistic mappings.)

    diff, v51, current

    • CommentRowNumber53.
    • CommentAuthorThomas Holder
    • CommentTimeJun 14th 2020
    • (edited Jun 14th 2020)

    I corrected the monadic part of the history.

    diff, v52, current

    • CommentRowNumber54.
    • CommentAuthorDavid_Corfield
    • CommentTimeJun 18th 2020

    Between #21 and #28, there was discussion of additions by Sturz. He’s now brought out a new paper on Giry algebras over measurable spaces. Any views?

    • Kirk Sturz, The existence and utility of Giry algebras in probability theory, (arXiv:2006.08290)

    With all this attention being paid to categorical probability theory now, surely some expert out there could help.

    • CommentRowNumber55.
    • CommentAuthorDmitri Pavlov
    • CommentTimeJun 21st 2020

    In the formula for the multiplication of the Giry monad (why is it called the “counit”?), what is P(X) in the integral? P(X) is only defined well below this formula. It looks like the formula should actually say G(X), not P(X).

    The relevant change is Revision 23 by K. Sturtz on October 30, 2018.

    • CommentRowNumber56.
    • CommentAuthorsvennik
    • CommentTimeJun 13th 2021
    How do you generate a sigma algebra from a set of evaluation maps? A sigma algebra is an algebra made out of sets. You generate them from sets, not maps.
    • CommentRowNumber57.
    • CommentAuthorTodd_Trimble
    • CommentTimeJun 18th 2021

    I’ll guess what is meant is that you take the inverse images of measurable sets of [0,1][0, 1], which gives you a σ\sigma-algebra on G(X)G(X).

  9. Corrections/Modifications. In the section on Algebras over the Giry monad: (1) Doberkat’s example is the free algebra on 2={0,1}\mathbf{2} =\{0,1\}. It is rather useless as an example precisely because it is free. This leads to the second correction, (2) There seems to be a fundamental misunderstanding why one necessarily needs a concrete representation. I hope the added paragraph explains the necessity (concerning existence of non free algebras). (3) I updated my reference to my latest work - which gives the simplest most direct way to show the existence of non free algebras using the support of a probability measure (=added Lemma) which I wish I understood 10 years ago!)

    Kirk Sturtz

    diff, v57, current

  10. In explaining why we are naturally led to super convex spaces I added the relatively short proof that every G-algebra specifies a super convex space and, likewise, that every map of G-algebras is a countably affine map.

    Incidentally, I suspect that Doberkats category may have the Klesi category = category of Algebras because continuous map do not permit discrete spaces so everything is embeddable into a vector space which yields the algebras as μ\mu = averages over all probability measures.

    Kirk Sturtz

    diff, v61, current

  11. I added the reference to Ruben Van Belle’s article which can be viewed, in hindsight, as naturally suggesting the two constructions (dense and codense functors) which arise when considering super convex spaces. The explanation in the main article (on GG-algebras) is the easiest way to motivate the constructions and explain why the countable set \mathbb{N} is sufficient”.

    Kirk Sturtz

    diff, v63, current

    • CommentRowNumber61.
    • CommentAuthorUrs
    • CommentTimeJun 1st 2022

    I suggest that if you request an author hyperlink, as in

    that you immediately go and create that author page (just a brief page: pointer to the author’s web presence plus the reference).

    Because otherwise nobody will do, typically, in which case the broken link looks bad.

    diff, v65, current

  12. Creating link to new page for super convex spaces.

    Kirk Sturtz

    diff, v66, current

    • CommentRowNumber63.
    • CommentAuthorUrs
    • CommentTimeMar 31st 2023

    added publication data for this item:

    diff, v67, current