Stack Exchange network consists of 183 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.
All diagrams commute.
The actual theorem is Mac Lane's Coherence TheoremMac Lane's Coherence Theorem or any of a number of other coherence theoremscoherence theorems that guarantee that all category diagrams built from certain elements 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.
