Closed monoidal category
In mathematics, especially in category theory, a closed monoidal category (or a monoidal closed category) is a category that is both a monoidal category and a closed category in such a way that the structures are compatible. A classic example is the category of sets, Set, where the monoidal product of sets A {\displaystyle A} and B {\displaystyle B} is the usual cartesian product A × B {\displaystyle A\times B} , and the internal Hom B A {\displaystyle B^{A}} is the set of functions from A {\displaystyle A} to B {\displaystyle B} .