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

Size: a a a

Теория категорий

645 membersпожаловаться на группу

2021 November 26

Alex Gryzlov in Теория категорий

источник

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

Evgenii Moiseenko in Теория категорий

Winskel предлагал то, что он называет prime algebraic domains для конкарренси, и показывал их связь со структурами событий.
https://core.ac.uk/download/pdf/82572281.pdf

Сейчас он вроде в том числе и game semantics занимается, и тоже из связывает со стуктурами событий
https://lmcs.episciences.org/3966/pdf

Но в этом я уже не разбирался

источник

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

Alex Gryzlov in Теория категорий

да, винскел по моему сейчас целиком в игросем ушел

источник

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

Alex Gryzlov in Теория категорий

каузальные игры

источник

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

Denis Gabidullin in Теория категорий

Давай-ка скалибруем твоё "очень плохо")

Насколько от 1 до 10 по твоей субъективной оценке ты знаешь теоркат?
И насколько от 1 до 10 по твоей субъективной оценке ты знаешь scala?

источник

16:25пожаловаться #5

Oℕ

Oleg ℕizhnik in Теория категорий

1, 8

источник

16:42пожаловаться #6

Denis Gabidullin in Теория категорий

👍

источник

16:43пожаловаться #7

Nikita Repeev in Теория категорий

Интересно насколько хуже я знаю теоркат чем это "1"

источник

16:44пожаловаться #8

Valery in Теория категорий

Чем больше ты знаешь, тем больше ты понимаешь насколько мало знаешь

источник

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

suhr in Теория категорий

Но лучше всё таки мерить от Basic Category Theory до «свободно читаю nLab».

источник

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

Nick Ivanych in Теория категорий

Да там час полудохлый, ибо участники, грубо говоря, делятся на две группы -
кто знает категории и кто знает/помнит C++.
Да наверное, можно ссылку, но просто там сейчас ничего интересного нет.
Может, появится...
https://t.me/categories_plusplus

источник

20:46пожаловаться #11

Nick Ivanych in Теория категорий

Ну вот в теме конечных групп категории не пользуют.
Хотя и наверное, применить можно, но видимо, незачем.

источник

20:47пожаловаться #12

∀

∀λ∃π(א) in Теория категорий

А есть какие-то промежуточные пункты?)

источник

22:49пожаловаться #13

2021 November 27