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 .
Articles by others on the same topic
There are currently no matching articles.