New posts in Monads

Why are monadicity and descent related?

"Functors between monads": what are these really called?

When do functors induce monadic adjunctions to presheaf categories

The reflexive free-category comonad-resolution is a cofibrant replacement of the discrete simplicial category associated with an ordinary category in the Bergner model structure on the category of small simplicial categories?

Inconsistent do notation in functions

Why is the bind operator (>>=) defined as it is?

What does it mean to "run" inside a monad?

Nested States in Haskell

Why is FunctionalDependency needed for defining MonadReader?

How to write a monad instance for a pair where both arguments have the same type?