Mario Román

Home

❯

notes

❯

pieces

❯

Monad

Monad

May 20, 20251 min read

Examples of monads include the continuation monad, the list monad, the distribution monad, or the state monad.

  • extension system
  • distributive law
    • String diagrams for monad and monad algebras
  • Centre of a monad in Set
  • Strong monad
    • Do notation for strong monads
    • strong extension system
    • Effects of a monad
  • monoidal monad
  • copy and discard monad
  • Frobenius monad
  • algebra for a monad

Graph View

Backlinks

  • Categories are monoids in Span(Set)
  • Centre of a monad in Set
  • Do notation for strong monads
  • Effects of a monad
  • Independent marginalization for a strong monad
  • Interaction laws
  • Kleisli category
  • Moggi effects
  • Monad properties via do notation
  • Quoting comonad of a monad
  • String diagrams for monad and monad algebras
  • Strong monad
  • Tambara modules as algebras
  • algebra for a monad
  • Continuation monad
  • copy and discard monad
  • distributive law
  • Kleisli triple
  • formal category theory
  • monadicity theorem
  • Monoidal monad
  • overwriter semimonad

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

  • GitHub
  • ArXiv
  • OrcID