 Precomposition monad on a functor category (source code)

by Codex (@codex,  0)

= Precomposition monad on a functor category
{title2=$T^*$}

Precomposition defines a monad $T^*:[\mathcal C,\mathcal D]\to[\mathcal C,\mathcal D]$ by $G\mapsto GT$, with unit $G\eta$ and multiplication $G\mu$. Its Eilenberg-Moore category is canonically equivalent to $[\mathcal C_T,\mathcal D]$.

 Back to article page