Я теоретик гомотопии, интересуюсь информатикой.
Я хотел бы спросить, каковы некоторые интересные применения гомотопической алгебры (модельные категории, бесконечные категории, симплициальные категории и т. Д.) В теоретической информатике?
big-list
algebraic-topology
user40853
источник
источник
Ответы:
Два больших применения теории гомотопии в теоретической информатике
Теория гомотопического типа обнаружила совершенно неожиданную связь между теорией типизированного лямбда-исчисления и теорией гомотопии. Как быстрая интуиция, думайте о ней как о (обширном) обобщении связи между интуиционистской логикой и топологическими пространствами или как о языке для создания "синтетической теории гомотопии".
Направлена версия алгебраической топологии и теории гомотопий (то есть, где пути не являются обратимыми) была разработана именно с приложениями к информатике в виду. Интуиция заключается в том, что возможные оценки параллельной программы соответствуют пробелу, выполнение программы соответствует путям в этом пространстве, а примитивы синхронизации соответствуют препятствиям. Рассматривая геометрические свойства этих пространств / программ, становится возможным разработать инструменты для рассуждения об их поведении.
источник
Мой ответ на соответствующий пост: Приложения для теории множеств, порядковой теории, бесконечной комбинаторики и общей топологии в информатике? :
Приз Геделя 2004 года разделили следующие две работы:
Морис Херлихи и Нир Шавит, Журнал ACM, Vol. 46 (1999), 858-923
Майкл Сакс и Фотиос Захароглу, SIAM J. по вычислительной технике, Vol. 29 (2000), 1449-1483.
Цитаты из премии Геделя 2004 года:
Добавлено:
Книга на эту тему:
Распределенные вычисления с помощью комбинаторной топологии, 1-е издание, 2013
источник