Monoidal category action

This article relies largely or entirely on a single source. Relevant discussion may be found on the talk page. Please help improve this article by introducing citations to additional sources. Find sources: "Monoidal category action" – news · newspapers · books · scholar · JSTOR (May 2024)

In algebra, an action of a monoidal category S on a category X is a functor

${\displaystyle \cdot :S\times X\to X}$

such that there are natural isomorphisms ${\displaystyle s\cdot (t\cdot x)\simeq (s\cdot t)\cdot x}$ and ${\displaystyle e\cdot x\simeq x}$ 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 ⊗.