Teori tipe kubus untuk boneka?

8

Saya membaca salah satu makalah populer tentang teori tipe kubik, tetapi tidak heran saya hanya bisa melihat rumus dan diagram tanpa bisa mengenalinya sama sekali.

Jadi, inilah yang saya inginkan. Saya ingin penjelasan yang cukup mendalam tentang komposisi apa, Kan mengisi dan menempelkan hubungannya dengan teori tipe homotopy. Saya tidak berharap mungkin ada ELI (usia insert) untuk itu tetapi sebaliknya mendefinisikan kata dummy dalam judul sebagai seseorang yang memiliki beberapa pemahaman dasar tentang HoTT dan teori kategori (mungkin, tetapi tidak harus opsional).

type-theory homotopy-type-theory 盛安安
sumber
6
Pembicaraan Dan Licata tentang teori tipe-dimensi tak terbatas Kubus mungkin merupakan pengantar intuitif yang baik dengan jumlah teori jenis yang masuk akal mengingat itu adalah pembicaraan. (Licata jelas berada di kamp teori tipe komunitas HoTT.)
Derek Elkins meninggalkan SE
Saya menyaksikan semuanya. Itu cukup mudah sampai bagian pengisian Kan ... Sepertinya strategi di koran (mendefinisikan pengisian Kan dalam hal komposisi) jauh lebih sederhana, atau bukan? Dan sepertinya seluruh teknik pengeleman tidak dikembangkan pada saat video direkam. Mungkin aku bisa mengerti koran itu setelah menontonnya.
盛安安

Jawaban:

9

Setahun setelah dan aku menulis satu sendiri.

盛安安
sumber