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.

Revised on March 11, 2014 02:54:27 by Urs Schreiber (