Pointwise monad on a functor category

ID: pointwise-monad-on-a-functor-category

For a monad on and a category , postcomposition defines a monad whose unit and multiplication are pointwise. Its Eilenberg-Moore category is canonically equivalent to .

New to topics? Read the docs here!