Intermutation (Q421481)

This paper proves a coherence result for categories equipped with a natural transformation from \((A\wedge B)\vee(C\wedge D)\) to \((A\vee C)\wedge(B\vee D)\) where \(\wedge\) and \(\vee\) are biendofunctors. These natural transformations occur in iterated, or \(n\)-fold, monoidal categories. A related, but different, coherence result was obtained by \textit{C. Balteanu} et al. [Adv. Math. 176, No. 2, 277--349 (2003; Zbl 1030.18006)].