Monad

A monad is a monoid in the bicategory of categories.

See also.

• 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

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

• maybe monad
• list monad, or free monoid monad.
• powerset monad
• non-empty powerset monad
• finitary distribution monad
• state monad
• continuation monad
• expectation monad
• Giry monad