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