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!