All diagrams commute.
The actual theorem is Mac Lane's Coherence Theorem or any of a number of other coherence theorems that guarantee that all category diagrams built from certain elements commute.
|
1 | [made Community Wiki] | ||
|
|
||||
