Mario Román

Home

❯

notes

❯

Continuation monad

Continuation monad

Aug 23, 20251 min read

continuation-monad

  • Kleisli category of the continuation monad
  • Continuation-passing is cocartesian coclosed

References.

  • The Duality of λ-Abstraction (Choudhury, Gay, 2025)

Tags: Monad, Game theory


Graph View

Backlinks

  • Continuation-passing is cocartesian coclosed
  • Monad
  • expectation monad

Mario Román, CC-BY-SA. Built with Quartz © 2025.

  • GitHub
  • ArXiv
  • OrcID