Saya seorang ahli teori homotopy, tertarik pada ilmu komputer.
Saya ingin bertanya aplikasi apa yang menarik dari aljabar homotopikal (kategori model, kategori tak terhingga, kategori sederhana, dll) dalam ilmu komputer teoretis?
big-list
algebraic-topology
pengguna40853
sumber
sumber
Jawaban:
Dua aplikasi besar teori homotopy dalam ilmu komputer teoretis adalah
Teori Tipe Homotopy mengungkapkan hubungan yang sama sekali tidak terduga antara teori kalkulus lambda yang diketik dan teori homotopy. Sebagai intuisi cepat, anggap itu sebagai generalisasi (luas) dari hubungan antara logika intuitionistic dan ruang topologi, atau bahasa untuk melakukan "teori homotopi sintetis".
Versi terarah dari topologi aljabar dan teori homotopy (yaitu, di mana jalur tidak dapat dibalik) telah dikembangkan secara tepat dengan aplikasi dalam ilmu komputer. Intuisi adalah bahwa evaluasi yang mungkin dari program bersamaan sesuai dengan ruang, eksekusi program sesuai dengan jalur di ruang itu, dan sinkronisasi primitif sesuai dengan penghalang. Dengan mempertimbangkan sifat-sifat geometris dari ruang / program ini, menjadi mungkin untuk mengembangkan alat untuk alasan tentang perilaku mereka.
sumber
Jawaban saya untuk posting terkait : Aplikasi untuk teori himpunan, teori ordinal, kombinatorik tak terbatas dan topologi umum dalam ilmu komputer? :
Hadiah Gödel 2004 dibagikan oleh dua makalah berikut:
Oleh Maurice Herlihy dan Nir Shavit, Jurnal ACM, Vol. 46 (1999), 858-923
Oleh Michael Saks dan Fotios Zaharoglou, SIAM J. pada Computing, Vol. 29 (2000), 1449-1483.
Kutipan dari Hadiah Gödel 2004:
Ditambahkan:
Buku tentang topik ini:
Komputasi Terdistribusi Melalui Topologi Kombinatorial, Edisi 1, 2013
sumber