Теорема о когерентности Мак-Лейна

• В теории категорий теорема о когерентности Мак-Лейна утверждает, что каждая диаграмма коммутирует. 
• Встречный пример показывает, что неразумно ожидать, что можно показать все коммутирующие операции на диаграмме. 
• В статье рассматривается пример, где естественные изоморфизмы являются идентичностью, что приводит к абсурдным результатам.