Прикладная теория категорий - Applied category theory

Прикладная теория категорий является Академическая дисциплина в каких методах из теория категорий используются для изучения других областей[1][2][3] в том числе, но не ограничиваются Информатика,[4][5] физика (особенно квантовая механика[6][7][8]), теория управления,[9][10] обработка естественного языка,[11][12] теория вероятности и причинность. Применение теории категорий в этих областях может принимать разные формы. В некоторых случаях целью является формализация предметной области на языке теории категорий, при этом идея заключается в том, чтобы прояснить важную структуру и свойства предметной области. В других случаях формализация используется, чтобы усилить силу абстракции, чтобы доказать новые результаты в этой области.

Смотрите также

внешняя ссылка

Журналы:

Конференции:

Книги:

Рекомендации

  1. ^ «Прикладная теория категорий». MIT OpenCourseWare. Получено 2019-07-20.
  2. ^ Спивак, Давид I .; Фонг, Брендан (июль 2019 г.). Приглашение к прикладной теории категорий от Брендана Фонга. Дои:10.1017/9781108668804. ISBN  9781108668804.
  3. ^ Брэдли, Тай-Даная (16.09.2018). «Что такое прикладная теория категорий?». arXiv:1809.05923v2 [math.CT ].
  4. ^ Барр, Майкл. (1990). Теория категорий для информатики. Уэллс, Чарльз. Нью-Йорк: Прентис-Холл. ISBN  0131204866. OCLC  19126000.
  5. ^ Эриг, Хартмут; Große-Rhode, Martin; Вольтер, Уве (1998-03-01). "Приложения теории категорий к области алгебраической спецификации в компьютерных науках". Прикладные категориальные структуры. 6 (1): 1–35. Дои:10.1023 / А: 1008688122154. ISSN  1572-9095. S2CID  290074.
  6. ^ Абрамский, Самсон; Кок, Боб (2009), "Категориальная квантовая механика", Справочник по квантовой логике и квантовых структурах, Elsevier, стр. 261–323, arXiv:0808.1023, Дои:10.1016 / b978-0-444-52869-8.50010-4, ISBN  9780444528698, S2CID  692816
  7. ^ Дункан, Росс; Кук, Боб (2011). «Взаимодействующие квантовые наблюдаемые: категориальная алгебра и диаграмматика». Новый журнал физики. 13 (4): 043016. arXiv:0906.4725. Bibcode:2011NJPh ... 13d3016C. Дои:10.1088/1367-2630/13/4/043016. S2CID  14259278.
  8. ^ Кок, Боб. (2017-03-16). Изображение квантовых процессов: первый курс квантовой теории и схематических рассуждений. ISBN  978-1107104228. OCLC  1026174191.
  9. ^ Мастер, Джейд; Баэз, Джон С. (2018-08-16). «Открытые сети Петри». arXiv:1808.05415v4 [math.CT ].
  10. ^ Baez, John C .; Поллард, Блейк С. (2018). «Композиционный каркас для реакционных сетей». Обзоры по математической физике. 29 (9): 1750028–425. arXiv:1704.02051. Bibcode:2017RvMaP..2950028B. Дои:10.1142 / S0129055X17500283. ISSN  0129-055X. S2CID  119665423.
  11. ^ Картсаклис, Дмитрий; Садрзаде, Мехрнош; Пульман, Стивен; Коке, Боб (2016), «Рассуждения о значении на естественном языке с компактными замкнутыми категориями и алгебрами Фробениуса», Логические и алгебраические структуры в квантовых вычислениях, Cambridge University Press, стр. 199–222, arXiv:1401.5980, Дои:10.1017 / cbo9781139519687.011, ISBN  9781139519687, S2CID  8630039
  12. ^ Грефенстетт, Эдвард; Садрзаде, Мехрнош; Кларк, Стивен; Кок, Боб; Пулман, Стивен (2014), "Конкретные пространства предложений для композиционно-распределительных моделей смысла", Текстовые, речевые и языковые технологии, Springer, Нидерланды, стр. 71–86, arXiv:1101.0309, Дои:10.1007/978-94-007-7284-7_5, ISBN  9789400772830, S2CID  2411818
  13. ^ "Кафе n-категории". golem.ph.utexas.edu. Получено 2019-07-20.