Monoidal category action

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. Weibel, Ch. IV, Definition 4.7.
This article is issued from Wikipedia - version of the 8/12/2015. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.