In algebra, an action of a monoidal category S on a category X is a functor
such that there are natural isomorphisms
For example, S acts on itself via the monoid operation ⊗.
References
Monoidal category action Wikipedia(Text) CC BY-SA