nLab 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 July 30, 2018 at 11:36:36. See the history of this page for a list of all contributions to it.