Let \(\Phi \) , \(\Phi ^{\prime }\)  be two associators and \(\mathcal {A}\) , \(\mathcal {A}^{\prime }\)  the braided monoidal categories constructed from them. By [1]}, [2]} there exists a strong monoidal structure \(J\)  on the identity functor inducing a braided monoidal equivalence
\(\mathcal {A}^{\prime } \simeq \mathcal {A}.\) 

Пусть \(\Phi\) и \(\Phi^{\prime}\) - два ассоциатора, а \(\mathcal{A}\) и \(\mathcal{A}^{\prime}\) - построенные на них запутанные моноидальные категории. Относительно [1], [2] существует надежная моноидальная структура \(J\) для функтора тождества, порождающая запутанное моноидальное эквивалентноеотношение \(\mathcal{A}^{\prime} \simeq \mathcal{A}\).