Pertanyaan yang diberi tag ?category-theory?




2
Apa yang dimaksud dengan teori Kategori belum tahu bagaimana menangani fungsi tingkat tinggi?
Dalam membaca jawaban Uday Reddy untuk Apa hubungan antara functors dalam teori SML dan Kategori? Negara bagian Uday Teori kategori belum tahu bagaimana menangani fungsi tingkat tinggi. Suatu hari, itu akan terjadi. Karena saya pikir teori Kategori dapat berfungsi sebagai dasar untuk matematika, maka seharusnya dimungkinkan untuk menurunkan semua fungsi …

2
Teori kategori (bukan) untuk Pemrograman?
Setelah mempelajari Haskell dan bahasa FP lain yang tidak murni, saya memutuskan untuk membaca tentang teori Kategori. Setelah mendapatkan pemahaman yang baik tentang teori Kategori saya mulai berpikir tentang bagaimana konsep teori kategori dapat digunakan untuk berpikir tentang merancang program tetapi tidak peduli seberapa keras saya mencoba sepertinya ini bukan …


2
Permintaan referensi: Teori kategori yang berlaku untuk sistem ketik
Saya terus mendengar tentang bagaimana seseorang harus belajar teori kategori untuk benar-benar memahami teori bahasa pemrograman. Sejauh ini, saya telah belajar banyak PL tanpa pernah melangkah ke bidang kategori. Namun, saya pikir sudah waktunya untuk melakukan lompatan untuk melihat apa yang telah saya lewatkan. Sayangnya, tidak ada sumber yang bisa …

1
Apakah ada isomorfisme antara (subset dari) teori kategori dan aljabar relasional?
Itu datang dari perspektif big data. Pada dasarnya, banyak kerangka kerja (seperti Apache Spark) "mengimbangi" kurangnya operasi relasional dengan menyediakan antarmuka seperti Functor / Monad dan ada gerakan serupa menuju konversi kucing ke SQL (Slick in Scala). Misalnya, kita perlu penggabungan alami (dengan asumsi tidak ada pengulangan pada indeks) untuk …

4
Apa sebenarnya perbedaan semantik antara kategori dan set?
Dalam pertanyaan ini, saya bertanya apa perbedaan antara set dan tipe . Jawaban ini benar-benar mengklarifikasi (misalnya @AndrejBauer), jadi dalam kehausan saya akan pengetahuan, saya tunduk pada godaan untuk menanyakan hal yang sama tentang kategori: Setiap kali saya membaca tentang teori kategori (yang diakui agak informal), saya tidak dapat benar-benar …


2
Dapatkah formalisme teori kategori menggantikan teori tipe?
Seluk-beluk korespondensi antara teori tipe dan teori kategori berada di luar ken saya. Namun, dengan pemahaman saya yang naif tentang hubungan antara dua disiplin ilmu yang secara historis konvergen, yang terakhir sepenuhnya mencakup yang pertama. Jika demikian, dapatkah bahasa dan deskripsi formal / grafis yang digunakan oleh ahli teori kategori …
Dengan menggunakan situs kami, Anda mengakui telah membaca dan memahami Kebijakan Cookie dan Kebijakan Privasi kami.
Licensed under cc by-sa 3.0 with attribution required.
Judi bola