Когерентность (гомотопическая теория)

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