### Context

#### Enriched category theory

Could not include enriched category theory - contents

#### Additive and abelian categories

additive and abelian categories

# Contents

## Idea

A monad $\mathbf{G}=(G,\mu,\eta)$ on an additive category $A$ is additive if its underlying endofunctor $G: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 (89.204.155.115)