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!