Precomposition monad on a functor category

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

Precomposition defines a monad by , with unit and multiplication . Its Eilenberg-Moore category is canonically equivalent to .

New to topics? Read the docs here!