Definition 4.43.1. A triple $(\mathcal{C}, \otimes , \phi )$ where $\mathcal{C}$ is a category, $\otimes : \mathcal{C} \times \mathcal{C} \to \mathcal{C}$ is a functor, and $\phi$ is an associativity constraint is called a monoidal category if there exists a unit $\mathbf{1}$.

There are also:

• 2 comment(s) on Section 4.43: Monoidal categories

In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).