Monoidal coherence theorem
= Monoidal coherence theorem
= Monoidal coherence
{synonym}
Every diagram formed solely from the canonical <associators>, <unitors> and their inverses commutes. Consequently structural reparenthesizations can be suppressed in calculations; this statement does not make distinct <braidings> equal.