B
Но если мы пытаемся её интерпретировать (т.е. неформально), мы, я даже не знаю, представим в голове какую-либо геометрическую картинку или нет?
Size: a a a
2019 November 26
NI
Если это про логику топосов Гротендика, то я немного знаю про это
Ну да. Немного уточню
https://ncatlab.org/nlab/show/geometric+theory
https://ncatlab.org/nlab/show/geometric+theory
CE
Brenoritvrezorkre
Но если мы пытаемся её интерпретировать (т.е. неформально), мы, я даже не знаю, представим в голове какую-либо геометрическую картинку или нет?
Нет
B
Ну а я думаю, что хотелось бы представить
CE
Не получится, потому что есть очень необычные топосы Гротендика, связанные с геометрией только названием
NI
Не получится, потому что есть очень необычные топосы Гротендика, связанные с геометрией только названием
Да хотябы алгебру взять ;-)
CE
Например
B
Возможно. Но если всё-таки можно построить топологическую семантику для геометрических логик, то геометрическая интерпретация семантики возникает сама собой.
NI
Brenoritvrezorkre
Возможно. Но если всё-таки можно построить топологическую семантику для геометрических логик, то геометрическая интерпретация семантики возникает сама собой.
Можно на основе локалей-фреймов ;-)
CE
В частности топологических пространств и пучков на них
CE
Ну в общем, если хотите большей геометричности, смотрите в сторону cohesion
NI
В частности топологических пространств и пучков на них
Нутам, начиная с элементарных вещей —
топология Зарисского охрененно геометричная!
топология Зарисского охрененно геометричная!
CE
Мне кажется, понятие геометричности очень субъективное
NI
Мне кажется, понятие геометричности очень субъективное
Согласен.
NI
А пучки на топологиях Скотта зачем-то рассматривают?
NI
Тоже очень геометрично ;-)
CE
А пучки на топологиях Скотта зачем-то рассматривают?
А я пытался как-то подумать, там все выраждается к предпучкам на упорядоченном множестве компактных элементов
CE
Если вы про тут топологию Скотту про домейны
NI
Если вы про тут топологию Скотту про домейны
Да, я про них.