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

nLab > Latest Changes: continuation monad

Bottom of Page

1 to 6 of 6

  1.  
    • CommentRowNumber1.
    • CommentAuthorUrs
    • CommentTimeFeb 12th 2014
    • (edited Feb 12th 2014)

    started a minimum at continuation monad, but not really good yet

    • CommentRowNumber2.
    • CommentAuthorSam Staton
    • CommentTimeMay 22nd 2023

    algebras of the continuation monad

    diff, v12, current

    • CommentRowNumber3.
    • CommentAuthorTodd_Trimble
    • CommentTimeMay 22nd 2023

    I’d say instead that the algebras are complete atomic Boolean algebras.

    diff, v13, current

    • CommentRowNumber4.
    • CommentAuthorTodd_Trimble
    • CommentTimeMay 22nd 2023

    Added a proof of monadicity of [−,S]:Set op→Set[-, S]: Set^{op} \to Set.

    diff, v14, current

    • CommentRowNumber5.
    • CommentAuthorUrs
    • CommentTimeAug 10th 2023

    added pointer to:

    diff, v15, current

    • CommentRowNumber6.
    • CommentAuthorvarkor
    • CommentTimeDec 30th 2023

    Referenced a paper characterising continuation monads.

    diff, v17, current

1 to 6 of 6

  1.