Monoidal category (source code)

= Monoidal category
{title2=$(\mathcal C,\otimes,I)$}
{wiki}

A <category> equipped with a <monoidal tensor product>, a <monoidal unit object>, and natural <associators> and <unitors> satisfying the pentagon and triangle axioms.