Source: wikibot/monoidal-category-action
= Monoidal category action
{wiki=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.