1 Answers
In algebra, an action of a monoidal category S on a category X is a functor
such that there are natural isomorphisms s ⋅ ≃ ⋅ x {\displaystyle s\cdot \simeq \cdot x} and e ⋅ x ≃ x {\displaystyle e\cdot x\simeq x} and those natural isomorphism satisfy the coherence conditions analogous to those in S. If there is such an action, S is said to act on X.
For example, S acts on itself via the monoid operation ⊗.
4 views
Answered