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

  1. triangle identity of a monoidal category
  2. pentagon identity

Date: nil

Author: Anton Zakrewski

Created: 2024-10-13 So 19:09