 Monoidal tensor product

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.