Monoidal tensor product
= Monoidal tensor product
{title2=$\otimes$}
The bifunctor $\otimes:\mathcal C\times\mathcal C\to\mathcal C$ in a <monoidal category>. Its associativity is expressed by the <associator>, rather than equality in general.
= Monoidal tensor product
{title2=$\otimes$}
The bifunctor $\otimes:\mathcal C\times\mathcal C\to\mathcal C$ in a <monoidal category>. Its associativity is expressed by the <associator>, rather than equality in general.