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

групп:

каналов:

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

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

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

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

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

go.backupland.com

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

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

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

Size: a a a

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

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

МБ

Михаил Бахтерев in Теория категорий
Oleg ℕizhnik
Частично определённые вычислимые функции известно как описать.
Достаточно функтора 1 + - или Error + -
Процедуры в тюринг-полных ЯП не знаю как описать. Может быть на уровне простого теорката и не нужно никак описывать
Ну так это и есть Скоттовское описание с bottom. Он сразу так и строил в категориях.
источник
10:15пожаловаться#1

Oℕ

Oleg ℕizhnik in Теория категорий
Ну тогда в домене значения боттом быть не может
источник
10:23пожаловаться#2

YS

Yuriy Syrovetskiy in Теория категорий
в Хаскеле есть функции-формулы (const True) и (\case False -> True; True -> True). они совпадают на домене {False, True}, но отличаются на {False, True, undefined}
источник
10:41пожаловаться#3

YS

Yuriy Syrovetskiy in Теория категорий
наверно, можно определить "домен" для хаскельной "функции" по-разному, исходя из того, как мы хотим видеть "равенство функций"
источник
10:42пожаловаться#4

МБ

Михаил Бахтерев in Теория категорий
Доменов без bottom не бывает, просто по определению понятия домен. Домен - штука сложная, на самом деле.
источник
10:57пожаловаться#5

МБ

Михаил Бахтерев in Теория категорий
Это две разные интерпретации типов: через функтор из Hask в Set, и через функтор из Hask в Dom
источник
11:01пожаловаться#6

Oℕ

Oleg ℕizhnik in Теория категорий
Михаил Бахтерев
Доменов без bottom не бывает, просто по определению понятия домен. Домен - штука сложная, на самом деле.
Можно определение понятия домен, по которому его не бывает без bottom ?
источник
11:05пожаловаться#7

МБ

Михаил Бахтерев in Теория категорий
В смысле? По определению домен - это направленный частичный порядок, в котором обязательно должен быть bottom и рекурсивно-перечислимая база.
источник
11:07пожаловаться#8

Oℕ

Oleg ℕizhnik in Теория категорий
Простите за неграмотность, откуда это определение?
источник
11:09пожаловаться#9

KV

Kirill Valyavin in Теория категорий
Oleg ℕizhnik
Простите за неграмотность, откуда это определение?
https://en.wikipedia.org/wiki/Scott_domain
Wikipedia
Scott domain
In the mathematical fields of order and domain theory, a Scott domain is an algebraic, bounded-complete cpo. It has been named in honour of Dana S. Scott, who was the first to study these structures at the advent of domain theory. Scott domains are very closely related to algebraic lattices, being different only in possibly lacking a greatest element. They are also closely related to Scott information systems, which constitute a "syntactic" representation of Scott domains.
источник
11:11пожаловаться#10

МБ

Михаил Бахтерев in Теория категорий
10.1.1.51.1284.pdf
(365.19 Кб)
Semantic Domains
источник
11:11пожаловаться#11

Oℕ

Oleg ℕizhnik in Теория категорий
Спасибо
источник
11:13пожаловаться#12

Oℕ

Oleg ℕizhnik in Теория категорий
Я, конечно, подразумевал "область определения", либо домен морфизма
источник
11:14пожаловаться#13

CE

Cohesive Elijah in Теория категорий
Михаил Бахтерев
В смысле? По определению домен - это направленный частичный порядок, в котором обязательно должен быть bottom и рекурсивно-перечислимая база.
Вроде необязательно р.п. база
источник
11:16пожаловаться#14

МБ

Михаил Бахтерев in Теория категорий
В википедии тоже написано, что bottom - это supremum пустого набора элементов, который должен быть. Ну, да. Нынче модно так писать.
источник
11:17пожаловаться#15

CE

Cohesive Elijah in Теория категорий
Михаил Бахтерев
В википедии тоже написано, что bottom - это supremum пустого набора элементов, который должен быть. Ну, да. Нынче модно так писать.
Копредел уж тогда. Чтобы совсем модно было.
источник
11:18пожаловаться#16

МБ

Михаил Бахтерев in Теория категорий
Наверное, тогда путаница возникнет. Пределы тоже нужны, но уже в категории самих доменов.
источник
11:20пожаловаться#17

LB

Let Eat Bee in Теория категорий
toriningen
или важно не то, что получившуюся функцию нельзя вызвать, а само ее существование, поэтому absurd :: ⊥ -> a из примера выше является валидной конструкцией, и, следовательно, и ⊥ -> ⊥ возможно?
absurd вроде void -> a . Ботом он говорит есть всегда, но все делаем так, будто его нет, ибо избавиться от него нельзя, а жить надо
источник
11:21пожаловаться#18

МБ

Михаил Бахтерев in Теория категорий
Oleg ℕizhnik
Я, конечно, подразумевал "область определения", либо домен морфизма
Вот, собственно, поэтому, я и говорю, что не следует смешивать разные интерпретации Hask.
источник
11:21пожаловаться#19

t

toriningen in Теория категорий
Let Eat Bee
absurd вроде void -> a . Ботом он говорит есть всегда, но все делаем так, будто его нет, ибо избавиться от него нельзя, а жить надо
Ну ведь void это и есть боттом-тип в этом случае? Если хаскелевый Void смотреть, а не сишный void, который ()
источник
11:23пожаловаться#20