additive monad



A monad G=(G,μ,η)\mathbf{G}=(G,\mu,\eta) on an additive category AA is additive if its underlying endofunctor G:AAG:A\to A is an additive functor. One defines an additive comonad in the same vein.

Note that every additive category is Ab-enriched, and an additive monad is then the same as an Ab-enriched monad.

Last revised on March 11, 2014 at 02:54:27. See the history of this page for a list of all contributions to it.