Amaliy kategoriya nazariyasi - Applied category theory

Amaliy kategoriya nazariyasi bu o'quv intizomi qaysi usullardan toifalar nazariyasi boshqa sohalarni o'rganish uchun ishlatiladi[1][2][3] shu jumladan, lekin ular bilan cheklanmagan Kompyuter fanlari,[4][5] fizika (jumladan kvant mexanikasi[6][7][8]), boshqaruv nazariyasi,[9][10] tabiiy tilni qayta ishlash,[11][12] ehtimollik nazariyasi va nedensellik. Ushbu sohalarda toifalar nazariyasini qo'llash turli shakllarda bo'lishi mumkin. Ba'zi hollarda domenni toifalar nazariyasi tiliga rasmiylashtirish maqsad bo'lib, bu erda domenning muhim tuzilishi va xususiyatlarini yoritib berish kerak degan fikr mavjud. Boshqa hollarda rasmiylashtirish bu sohada yangi natijalarni isbotlash uchun mavhumlik kuchidan foydalanish uchun ishlatiladi.

Shuningdek qarang

Tashqi havolalar

Jurnallar:

Konferentsiyalar:

Kitoblar:

Adabiyotlar

  1. ^ "Amaliy toifalar nazariyasi". MIT OpenCourseWare. Olingan 2019-07-20.
  2. ^ Spivak, Devid I.; Fong, Brendan (2019 yil iyul). Brendan Fong tomonidan qo'llanilgan toifalar nazariyasiga taklif. doi:10.1017/9781108668804. ISBN  9781108668804.
  3. ^ Bredli, Tai-Dana (2018-09-16). "Amaliy toifalar nazariyasi nima?". arXiv:1809.05923v2 [math.CT ].
  4. ^ Barr, Maykl. (1990). Ilmiy hisoblash uchun toifalar nazariyasi. Uels, Charlz. Nyu-York: Prentis zali. ISBN  0131204866. OCLC  19126000.
  5. ^ Erig, Xartmut; Grosse-Roy, Martin; Volter, Uve (1998-03-01). "Kategoriya nazariyasining kompyuter fanidagi algebraik spetsifikatsiya sohasiga tatbiq etilishi". Amaliy kategorik tuzilmalar. 6 (1): 1–35. doi:10.1023 / A: 1008688122154. ISSN  1572-9095. S2CID  290074.
  6. ^ Abramskiy, Shimsho'n; Koek, Bob (2009), "Kategorik kvant mexanikasi", Kvant mantiqi va kvant tuzilmalari bo'yicha qo'llanma, Elsevier, 261-323 betlar, arXiv:0808.1023, doi:10.1016 / b978-0-444-52869-8.50010-4, ISBN  9780444528698, S2CID  692816
  7. ^ Dunkan, Ross; Coecke, Bob (2011). "O'zaro ta'sir qiluvchi kvant kuzatuvchilari: Kategorik algebra va diagramma". Yangi fizika jurnali. 13 (4): 043016. arXiv:0906.4725. Bibcode:2011 yil NJPh ... 13d3016C. doi:10.1088/1367-2630/13/4/043016. S2CID  14259278.
  8. ^ Koek, Bob. (2017-03-16). Kvant jarayonlarini tasvirlash: kvant nazariyasi va diagramma asosida fikrlashning birinchi kursi. ISBN  978-1107104228. OCLC  1026174191.
  9. ^ Usta, Jade; Baez, Jon S. (2018-08-16). "Petri to'rlarini oching". arXiv:1808.05415v4 [math.CT ].
  10. ^ Baez, Jon S.; Pollard, Bleyk S. (2018). "Reaksiya tarmoqlari uchun kompozitsion asos". Matematik fizikadagi sharhlar. 29 (9): 1750028–425. arXiv:1704.02051. Bibcode:2017RvMaP..2950028B. doi:10.1142 / S0129055X17500283. ISSN  0129-055X. S2CID  119665423.
  11. ^ Kartsaklis, Dimitri; Sadrzoda, Mehrnush; Pulman, Stiven; Coecke, Bob (2016), "Tabiiy tilda ixcham yopiq toifalar va Frobenius algebralari bilan ma'no to'g'risida mulohaza yuritish", Kvant hisoblashidagi mantiqiy va algebraik tuzilmalar, Kembrij universiteti matbuoti, 199–222 betlar, arXiv:1401.5980, doi:10.1017 / cbo9781139519687.011, ISBN  9781139519687, S2CID  8630039
  12. ^ Grefenstette, Edvard; Sadrzoda, Mehrnush; Klark, Stiven; Koek, Bob; Pulman, Stiven (2014), "Kompozitsion taqsimlash ma'no modellari uchun aniq jumlalar makonlari", Matn, nutq va til texnologiyasi, Springer Niderlandiya, 71–86-betlar, arXiv:1101.0309, doi:10.1007/978-94-007-7284-7_5, ISBN  9789400772830, S2CID  2411818
  13. ^ "N-toifadagi kafe". golem.ph.utexas.edu. Olingan 2019-07-20.