Jestem teoretykiem homotopii, interesuje się informatyką.
Chciałbym zapytać, jakie są interesujące zastosowania algebry homotopicznej (kategorie modelowe, kategorie nieskończoności, kategorie uproszczone itp.) W informatyce teoretycznej?
big-list
algebraic-topology
użytkownik40853
źródło
źródło
Odpowiedzi:
Istnieją dwa duże zastosowania teorii homotopii w informatyce teoretycznej
Teoria typów homotopii ujawniła zupełnie nieoczekiwany związek między teorią rachunku lambda na maszynie a teorią homotopii. Jako szybką intuicję, pomyśl o tym jako o (szerokim) uogólnieniu związku między logiką intuicyjną a przestrzenią topologiczną lub o języku do robienia „syntetycznej teorii homotopii”.
Skierowany wersja topologii algebraicznej i teorii homotopii (IE, gdzie ścieżki nie są odwracalne) został dokładnie opracowany do zastosowań informatyki w umyśle. Intuicja polega na tym, że możliwe oceny współbieżnego programu odpowiadają przestrzeni, wykonania programu odpowiadają ścieżkom w tej przestrzeni, a operacje podstawowe synchronizacji odpowiadają przeszkodom. Biorąc pod uwagę właściwości geometryczne tych przestrzeni / programów, można opracować narzędzia do wnioskowania o ich zachowaniu.
źródło
Moja odpowiedź na powiązany post: Zastosowania teorii mnogości, teorii porządkowej, nieskończonej kombinatoryki i topologii ogólnej w informatyce? :
Nagrodę Gödela z 2004 r. Podzieliły dwa następujące artykuły:
Autorzy: Maurice Herlihy i Nir Shavit, Journal of the ACM, t. 46 (1999), 858–923
Autorzy: Michael Saks i Fotios Zaharoglou, SIAM J. on Computing, t. 29 (2000), 1449-1483.
Cytaty z nagrody Gödela z 2004 roku:
Dodany:
Książka na ten temat:
Przetwarzanie rozproszone za pomocą topologii kombinatorycznej, 1. wydanie, 2013
źródło