- References
In algebra, an action of a monoidal category S on a category X is a functor such that there are natural isomorphisms and and those natural isomorphism satisfy the coherence conditions analogous to those in S.[1] If there is such an action, S is said to act on X. For example, S acts on itself via the monoid operation ⊗. References 1. ^{{harvnb|Weibel|loc=Ch. IV, Definition 4.7.}}
- C. Weibel "The K-book: An introduction to algebraic K-theory"
{{algebra-stub}} 2 : Monoidal categories|Functors |