В рейтинге участвует:

групп:

каналов:

Виртуальный сервер на SSD - недорого!

Аренда выделенных и виртуальных серверов (VDS/VPS), хостинг, аренда IP-адресов, администрирование, круглосуточная поддержка

qwarta.ru подробнее

Резервное копирование с проверкой на вирусы!!!

Удобный сервис создания резервных копий на любой сервер сети интернет. Отслеживайте изменения, проверяйте на вирусы. Надежно защитите свой бизнес!

go.backupland.com

Выбираете сервер? Любая конфигурация на заказ!

Аренда физических серверов любых конфигураций под любые запросы - 1С бухгалтерия, игровые сервера, нагруженные проекты, интернет-магазины!

qwarta.ru подробнее

Size: a a a

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

559 membersпожаловаться на группу
2019 December 18

EP

Emelian Piker (Евгений) in Теория категорий
Михаил Бахтерев
Очень мутное замечание. А как взаимосвязаны гарантии доставки с ТК? Ведь, вроде как, известны полностью абстрактные категорные модели пи-исчисления.
Надо строить наоборот как я писал, иначе это просто следование семантике и просто увеличение колва конструкций просто для того чтобы соблюсти формальности
источник
20:48пожаловаться#1

EP

Emelian Piker (Евгений) in Теория категорий
Михаил Бахтерев
Очень мутное замечание. А как взаимосвязаны гарантии доставки с ТК? Ведь, вроде как, известны полностью абстрактные категорные модели пи-исчисления.
Насколько они хороши ? Там поддерживается классическое пи исчисление на 100% и нет проблем ? Мне кажется проблемы есть и они в том что надо ожидать успешную доставку
источник
20:49пожаловаться#2

EP

Emelian Piker (Евгений) in Теория категорий
Теория категорий элегантна и симетрична, а пот пи исчисление нет, некомутативный оператор ожидания асиметричен и в этом проблема
источник
20:52пожаловаться#3

EP

Emelian Piker (Евгений) in Теория категорий
Notice that x?(y) => P has no barb
Вот что значит "отказались", словосочетание "no barb"
источник
20:55пожаловаться#4

МБ

Михаил Бахтерев in Теория категорий
Emelian Piker (Евгений)
Насколько они хороши ? Там поддерживается классическое пи исчисление на 100% и нет проблем ? Мне кажется проблемы есть и они в том что надо ожидать успешную доставку
Хм. А это точно pi-исчисление? В pi-исчислении нет операторов ожидания доставки. pi-исчисление устроено примерно так же, как lambda, то есть, редукция термов в окружениях. И это полностью описывается на языке категорий.
источник
20:57пожаловаться#5

МБ

Михаил Бахтерев in Теория категорий
A Fully Abstract Model for the π-calculus

https://www.sciencedirect.com/science/article/pii/S0890540102929688
Sciencedirect
A Fully Abstract Model for the π-calculus
This paper provides both a fully abstract (domain-theoretic) model for the π-calculus and a universal (set-theoretic) model for the finite π-calculus …
источник
21:00пожаловаться#6

EP

Emelian Piker (Евгений) in Теория категорий
Михаил Бахтерев
Хм. А это точно pi-исчисление? В pi-исчислении нет операторов ожидания доставки. pi-исчисление устроено примерно так же, как lambda, то есть, редукция термов в окружениях. И это полностью описывается на языке категорий.
А это что ?
источник
21:01пожаловаться#7

EP

Emelian Piker (Евгений) in Теория категорий
Слово emited on channel C before. Вопрос: что значит emitted ? Ответ: это значит что имя y было назначено на другой стороне
источник
21:03пожаловаться#8

EP

Emelian Piker (Евгений) in Теория категорий
Михаил Бахтерев
A Fully Abstract Model for the π-calculus

https://www.sciencedirect.com/science/article/pii/S0890540102929688
Sciencedirect
A Fully Abstract Model for the π-calculus
This paper provides both a fully abstract (domain-theoretic) model for the π-calculus and a universal (set-theoretic) model for the finite π-calculus …
Огромная вам благодарность за ссылку
источник
21:04пожаловаться#9

МБ

Михаил Бахтерев in Теория категорий
Emelian Piker (Евгений)
А это что ?
Интерпретация аксиоматики. В аксиомах, вроде как, нет никакого указания на какое бы то ни было "ожидание". Собственно, они, вроде как, об этом и пишут. И отказываться им ни от чего не нужно.
источник
21:05пожаловаться#10

EP

Emelian Piker (Евгений) in Теория категорий
Ok, если нет ожидания то логика не верна, по этой причине ожидание следует из семантики
источник
21:06пожаловаться#11

EP

Emelian Piker (Евгений) in Теория категорий
Они исправили семантику, это значит что их версия пи исчисление не полноценная, но зато есть 2cat
источник
21:08пожаловаться#12

EP

Emelian Piker (Евгений) in Теория категорий
Оператор "." и "|" отличаются наличием комутативности, точка некомутативна и асоциативна, это композиция процессов в последовательность
источник
21:10пожаловаться#13

МБ

Михаил Бахтерев in Теория категорий
Что понимается под оператором "."? Композиция функций?
источник
21:12пожаловаться#14

EP

Emelian Piker (Евгений) in Теория категорий
То что отправка имени в канал или получение имени из канала осуществляется до процесса P который следует после точки, процесс P может содержать дальнейшие композиции.
источник
21:14пожаловаться#15

МБ

Михаил Бахтерев in Теория категорий
Ну, как бы, да... Но они же не об этом пишут, а о специальном виде бисимуляции (способе установки эквивалентности процессов). Там, да, не всегда учитывается, что сообщение принято, потому что мы можем наблюдать за поведением процесса, отвязав его от получателей сообщений.
источник
21:19пожаловаться#16

AZ

Alex Zhukovsky in Теория категорий
Я правильно понял что эквалайзер так работает или опять напутал?
источник
21:20пожаловаться#17

EP

Emelian Piker (Евгений) in Теория категорий
Цитата: Каждое ядро, как и любой другой эквалайзер, является мономорфизмом.
https://tomcircle.files.wordpress.com/2013/10/wpid-screenshot_2013-10-17-13-06-42.png
источник
21:27пожаловаться#18

EP

Emelian Piker (Евгений) in Теория категорий
https://i.stack.imgur.com/5aU0q.png
источник
21:28пожаловаться#19

МБ

Михаил Бахтерев in Теория категорий
Alex Zhukovsky
Я правильно понял что эквалайзер так работает или опять напутал?
А что означает "работает"? Эквалайзер - это же предел.
источник
21:28пожаловаться#20