Enriched category theory
Could not include enriched category theory - contents
Additive and abelian categories
A monad on an additive category is additive if its underlying endofunctor 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