EP
Size: a a a
2019 June 23
EP
Прочитайте про моноидальные категории ;-)
Обязательно попытаюсь сопоставить это дело с pi calculus, перечитываю статью на эту тему.
NI
Emelian Piker (Евгений)
Обязательно попытаюсь сопоставить это дело с pi calculus, перечитываю статью на эту тему.
Это не совсем просто сделать.
Пи-исчисление имеет довольно-таки кривоватую категорную семантику.
Сделали 2-категорную операционную семантику пи-исчисления.
А ещё, финитистское пи-исчисление соответствует дифференциальным линейным логикам.
Пи-исчисление имеет довольно-таки кривоватую категорную семантику.
Сделали 2-категорную операционную семантику пи-исчисления.
А ещё, финитистское пи-исчисление соответствует дифференциальным линейным логикам.
EP
Это не совсем просто сделать.
Пи-исчисление имеет довольно-таки кривоватую категорную семантику.
Сделали 2-категорную операционную семантику пи-исчисления.
А ещё, финитистское пи-исчисление соответствует дифференциальным линейным логикам.
Пи-исчисление имеет довольно-таки кривоватую категорную семантику.
Сделали 2-категорную операционную семантику пи-исчисления.
А ещё, финитистское пи-исчисление соответствует дифференциальным линейным логикам.
> Сделали 2-категорную операционную семантику пи-исчисления.
Благодарю, супер :) cсылку на pdf можно ? очень интересно
Благодарю, супер :) cсылку на pdf можно ? очень интересно
NI
Higher category models of the pi-calculus
Mike Stay, Lucius Gregory Meredith
https://arxiv.org/abs/1504.04311
#paper
Mike Stay, Lucius Gregory Meredith
https://arxiv.org/abs/1504.04311
#paper
EP
5. Properties
Chu spaces give fairly easy to construct examples of closed monoidal categories in which coproduct injections are not necessarily monic; see this MO answer.
https://ncatlab.org/nlab/show/Chu+construction
http://www.tac.mta.ca/tac/volumes/17/5/17-05.pdf
2019 June 25
EP
Coq для меня как имакс -- некая инопланетная технология, в которую непонятно как начать погружаться. С агдой проще намного
Вот откопал штуку на прологе :) http://www.lix.polytechnique.fr/~dale/forum/
2019 June 26
MP
Вероятностные протсранства образуют монаду - это используется, например, в скаловской библиотеке вероятностного программирования Figaro. Можно ли из ее категории Клейсли сделать монадическую категорию так, что бы с помощью "стрелок" (из Haskell или скаловской библиотеки Volga) в вероятностном программировании учитывать корреляции?
ЕО
Хм, а что такое "вероятностные пространства"?
ЕО
Мера?
ЕО
Можно пейпер скинуть
NI
Классически, понимается под "вероятностным пространством" Колмогоровское
https://ru.wikipedia.org/wiki/Вероятностное_пространство
https://ru.wikipedia.org/wiki/Вероятностное_пространство
Oℕ
Вероятностные протсранства образуют монаду - это используется, например, в скаловской библиотеке вероятностного программирования Figaro. Можно ли из ее категории Клейсли сделать монадическую категорию так, что бы с помощью "стрелок" (из Haskell или скаловской библиотеки Volga) в вероятностном программировании учитывать корреляции?
случайно речь не про https://ncatlab.org/nlab/show/Giry+monad ?
MP
Спасибо, похоже. Завтра повнимательнее почитаю.
AG
у джареда тобина была занимательная серия постов про эту манатку
AG
и дальше там еще
AG
вывод там такой что манатка интересная но непрактичная :)
Oℕ
там не про Гири, но какая-то монадка