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

Site Tag Cloud

2-category 2-category-theory abelian-categories adjoint algebra algebraic algebraic-geometry algebraic-topology analysis analytic-geometry arithmetic arithmetic-geometry book bundles calculus categorical categories category category-theory chern-weil-theory cohesion cohesive-homotopy-type-theory cohomology colimits combinatorics complex complex-geometry computable-mathematics computer-science constructive cosmology deformation-theory descent diagrams differential differential-cohomology differential-equations differential-geometry digraphs duality elliptic-cohomology enriched fibration foundation foundations functional-analysis functor gauge-theory gebra geometric-quantization geometry graph graphs gravity grothendieck group group-theory harmonic-analysis higher higher-algebra higher-category-theory higher-differential-geometry higher-geometry higher-lie-theory higher-topos-theory homological homological-algebra homotopy homotopy-theory homotopy-type-theory index-theory integration integration-theory internal-categories k-theory lie-theory limits linear linear-algebra locale localization logic mathematics measure measure-theory modal modal-logic model model-category-theory monad monads monoidal monoidal-category-theory morphism motives motivic-cohomology nlab noncommutative noncommutative-geometry number-theory of operads operator operator-algebra order-theory pages pasting philosophy physics pro-object probability probability-theory quantization quantum quantum-field quantum-field-theory quantum-mechanics quantum-physics quantum-theory question representation representation-theory riemannian-geometry scheme schemes set set-theory sheaf simplicial space spin-geometry stable-homotopy-theory stack string string-theory superalgebra supergeometry svg symplectic-geometry synthetic-differential-geometry terminology theory topology topos topos-theory tqft type type-theory universal variational-calculus

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

nLab > Latest Changes: convex powerset of distributions monad

Bottom of Page

1 to 11 of 11

  1.  
    • CommentRowNumber1.
    • CommentAuthorSam Staton
    • CommentTimeDec 2nd 2023

    First attempt at writing down the structure of the finitary convex powerset of distributions monad. Could do with a proof read / simplification, and more context.

    v1, current

    • CommentRowNumber2.
    • CommentAuthorUrs
    • CommentTimeDec 2nd 2023

    added hyperlinks to more keywords

    diff, v2, current

    • CommentRowNumber3.
    • CommentAuthorSam Staton
    • CommentTimeDec 2nd 2023

    Added illustration of reasoning with presentation.

    diff, v3, current

    • CommentRowNumber4.
    • CommentAuthorSam Staton
    • CommentTimeDec 2nd 2023

    Note about commutativity.

    diff, v4, current

    • CommentRowNumber5.
    • CommentAuthorSam Staton
    • CommentTimeDec 3rd 2023

    more bibliography

    diff, v5, current

    • CommentRowNumber6.
    • CommentAuthorSam Staton
    • CommentTimeDec 3rd 2023

    more bibliography

    diff, v5, current

    • CommentRowNumber7.
    • CommentAuthorSam Staton
    • CommentTimeDec 3rd 2023

    more bibliography

    diff, v5, current

    • CommentRowNumber8.
    • CommentAuthorSam Staton
    • CommentTimeDec 3rd 2023
    Sorry, I'm having trouble with the bib reference to Bonchi et al because the url/doi has parentheses in it!
    • CommentRowNumber9.
    • CommentAuthorUrs
    • CommentTimeDec 3rd 2023
    • (edited Dec 3rd 2023)

    One way to deal with parenthesis “(” and “)” in URLs here is to “percent-encode” them, ie. replace them (in the URL, not in the link name) by “%28” and “%29” respectively.

    Another way is to fall back to HTML’s “<a href="url">text</>“-tags right away, instead of Instiki’s “[text](url)”.

    Paradoxically, the latter has the advantage (if one may speak of advantages in the mess of bugs that Instiki is) that to enclose the URL in square brackets now one can use Instiki’s “\[” “\]” and does not need to fall back to HTML’s “&lbrack;” “&rbrack;”.

    In short:

      Filippo Bonchi, Ana Sokolova, Valeria Vignudelli: *The Theory of Traces for Systems with Nondeterminism, Probability, and Termination*, Logical Methods in Computer Science **18** 2 (2022) \[<a href="https://doi.org/10.46298/lmcs-18(2:21)2022">doi:10.46298/lmcs-18(2:21)2022</a>\]

    diff, v6, current

    • CommentRowNumber10.
    • CommentAuthorUrs
    • CommentTimeDec 3rd 2023

    I have hyperlinked the author names for which we already have author pages: Bart Jacobs and Gordon Plotkin (and copied the bibitems to their author pages, with links back to here).

    Since the latter has two co-authors on this bibitem, I have hyperlinked them, too, for better looks, which means I am going to create author pages for them now…

    diff, v6, current

    • CommentRowNumber11.
    • CommentAuthorSam Staton
    • CommentTimeDec 4th 2023

    minor correction

    diff, v7, current

1 to 11 of 11

  1.