Context

Enriched category theory

Could not include enriched category theory - contents

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.