tensor functor of a monoidal category
1. Definition
Let \(\mathcal{C}\) be a monoidal category category. then the tensor functor is a designated functor
\begin{align*} \otimes: \mathcal{C} \times \mathcal{C} \rightarrow \mathcal{C} \end{align*}satisfying