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