 Monoidal category action

In category theory, a **monoidal category** is a category equipped with a tensor product that satisfies certain coherence conditions. To explain a **monoidal category action**, we first need to clarify some of the basic concepts.