Телеграмм чат группы ru_catheory страница 578

т.е. логики открыто говорят что классическая теория доменов уперлась в порог сложности и проблемы с масштабированием

13:56пожаловаться #1

последние лет 10 начала расти синтетическая ТД правда

13:56пожаловаться #2

ЕО

Теория доменов хороша тем, что она более-менее легко выражается в терминах категорий

13:56пожаловаться #3

мельес этим занимается

13:57пожаловаться #4

ЕО

О, а можно линк?

13:57пожаловаться #5

ну у него куча статей: https://www.irif.fr/~mellies/papers.html

13:58пожаловаться #6

последний подход который он разрабатывает это 2-категорные template games

13:58пожаловаться #7

вот такое типа https://www.irif.fr/~mellies//papers/asynchronous-template-games.pdf

13:59пожаловаться #8

это пока дело не доходит до конкаренси

13:59пожаловаться #9

да собственно у классических доменов же была проблема даже с PCF

14:00пожаловаться #10

на её решении и выстрелил игросем

14:01пожаловаться #11

недавно правда синтетики таки одолели PCF

14:02пожаловаться #12

https://arxiv.org/abs/2105.02156

14:02пожаловаться #13

ЕО

Хм, а какие проблемы с конкарренси? Ну то есть я даже недостаточно хорошо понимаю что такое конкарренси в случае чистой лямбды

14:03пожаловаться #14

In denotational semantics and domain theory, power domains are domains of nondeterministic and concurrent computations.

там https://en.wikipedia.org/wiki/Power_domains нужны

Wikipedia

Power domains

14:05пожаловаться #15

с которыми как я понимаю никто не смог до конца разобраться :)

14:05пожаловаться #16

поэтому все статьи про них это 80-2000е :)

14:06пожаловаться #17

ЕО

А power domain в языке теории категории это просто экспоненциальный объект?

14:10пожаловаться #18

не, там чото мудренее

14:11пожаловаться #19

power-категории всякие