KV
Первую можно написать, почему нет?
Да даже вторую можно написать
Size: a a a
2019 November 26
NI
Brenoritvrezorkre
Суть топосов в том, что модельная семантика оперирует множествами (какими-либо). Там всё строится на множествах, чтобы передать форму фреймов, условий валидности и выражение satisfaction relations. Вот топосы являются расширением множеств, которое можно естественно использовать.
Они, конечно, являются расширением множеств.
Но суть их в аксиоматизации предпучков множеств (или каких-то ещё топосов).
Но суть их в аксиоматизации предпучков множеств (или каких-то ещё топосов).
IJ
Вернее, для конкретного a можно
LB
Функций из () в Bool уже две штуки, где ж тут уникальность? И их можно написать, почему нет
Почему absurd тогда одна?
B
Они, конечно, являются расширением множеств.
Но суть их в аксиоматизации предпучков множеств (или каких-то ещё топосов).
Но суть их в аксиоматизации предпучков множеств (или каких-то ещё топосов).
Суть в том, что, добавляя топосы в модельную семантику, мы остаёмся в границах модельной семантики (и уже менее зависим от множеств).
KV
Почему absurd тогда одна?
Ну предположим две. Чем они могут отличаться?
LB
Первую можно написать, почему нет?
Ну в типе функции просто говорится
a, ничего не зная про него как написать то, даже Zero element (если такое понятие есть) вообще не выбратьNI
Brenoritvrezorkre
Суть в том, что, добавляя топосы в модельную семантику, мы остаёмся в границах модельной семантики (и уже менее зависим от множеств).
Про "суть" топосов есть два тома, называемые "sketches of an elephant" ;-)
LB
Ну предположим две. Чем они могут отличаться?
Вернуть разные значения из
aKV
Ну в типе функции просто говорится
a, ничего не зная про него как написать то, даже Zero element (если такое понятие есть) вообще не выбратьТам должны быть конкретные а, конечно
МБ
Почему absurd тогда одна?
Если по-простому, то функции - это множества из пар
(x, f(x)). Absurd - пустое множество. Все пустые множества равныKV
Иначе какое отношение это имеет к инициальным или терминальным объектам
LB
Если по-простому, то функции - это множества из пар
(x, f(x)). Absurd - пустое множество. Все пустые множества равныОхуеть. Прозрел
B
Про "суть" топосов есть два тома, называемые "sketches of an elephant" ;-)
Я о том, что это не алгебраическая семантика, если там топосы.
KV
Brenoritvrezorkre
Я о том, что это не алгебраическая семантика, если там топосы.
Стоп, что?
NI
Brenoritvrezorkre
Я о том, что это не алгебраическая семантика, если там топосы.
Ну, семантика Lowvere'а, это обобщение алгебраической.
МБ
Про "суть" топосов есть два тома, называемые "sketches of an elephant" ;-)
Что за скетчес?
NI
Что за скетчес?
2-томник тов. Жонсона.
B
Нет, это просто модельная семантика с топосами.
МБ
Так и называется? Sketches of an elephant?