Ich bin ein Homotopietheoretiker, der sich für Informatik interessiert.
Ich möchte fragen, was einige interessante Anwendungen der homotopischen Algebra (Modellkategorien, Unendlichkeitskategorien, einfache Kategorien usw.) in der theoretischen Informatik sind.
big-list
algebraic-topology
user40853
quelle
quelle
Antworten:
Zwei große Anwendungen der Homotopietheorie in der theoretischen Informatik sind
Die Homotopietypentheorie ergab einen völlig unerwarteten Zusammenhang zwischen der Theorie des typisierten Lambda-Kalküls und der Homotopietheorie. Stellen Sie sich dies als schnelle Intuition entweder als (umfassende) Verallgemeinerung der Verbindung zwischen intuitionistischer Logik und topologischen Räumen oder als Sprache für die "synthetische Homotopietheorie" vor.
Die gerichtete Version der algebraischen Topologie und Homotopietheorie (dh wo Pfade nicht umkehrbar sind) wurde genau für Anwendungen in der Informatik entwickelt. Die Intuition ist, dass die möglichen Auswertungen eines gleichzeitigen Programms einem Raum entsprechen, Programmausführungen Pfaden in diesem Raum entsprechen und Synchronisationsprimitive Hindernissen entsprechen. Durch die Berücksichtigung der geometrischen Eigenschaften dieser Räume / Programme wird es möglich, Werkzeuge zu entwickeln, um über ihr Verhalten nachzudenken.
quelle
Meine Antwort auf einen verwandten Beitrag: Anwendungen für Mengenlehre, Ordinaltheorie, unendliche Kombinatorik und allgemeine Topologie in der Informatik? ::
Der Gödel-Preis 2004 wurde von den folgenden zwei Beiträgen geteilt:
Von Maurice Herlihy und Nir Shavit, Journal of the ACM, Vol. 3, No. 46 (1999), 858 & ndash; 923
Von Michael Saks und Fotios Zaharoglou, SIAM J. on Computing. 29 (2000), 1449 & ndash; 1483.
Zitate aus dem Gödel-Preis 2004:
Hinzugefügt:
Ein Buch zu diesem Thema:
Verteiltes Rechnen durch kombinatorische Topologie, 1. Auflage, 2013
quelle