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.
Articles by others on the same topic
There are currently no matching articles.