Oℕ
давно пора нанести ответный удар математикой философии
Size: a a a
2021 July 16
Oℕ
запихнуть всех словоблудов в морфизмы в какой-нибудь очень плохой несимметричной 3-категории
ЕО
Кажется, что это не такое популярное направление. Проблема в том, что для того, чтобы порождать философию математики не нужно разбираться ни в том, ни в другом, а для математики философии нужно угорать по хардкору по обоим.
В целом из того, что есть, я знаю формализацию силлогистики от Лукасевича, математизацию Гегеля на нкатлабе, логику Зиновьева, да формализацию трети Спинозы
В целом из того, что есть, я знаю формализацию силлогистики от Лукасевича, математизацию Гегеля на нкатлабе, логику Зиновьева, да формализацию трети Спинозы
AG
корфилд тоже вроде этим промышляет
ЕО
А есть линки на пейперы?
AG
это из последних его трудов, там вроде были ранние версии в открытом доступе
a
ну это не совсем его труды
AG
в смысле
2021 July 17
B
У тебя странное представление о философии математики
2021 July 19
TZ
Переслано от TeslArend Zhang
contextual categories and C-systems are the same thing?
TZ
This is very surprising
AG
they are constructively equivalent
2021 July 20
MV
а где можно почитать про то, почему именно так осуществляется такой подъём? В Бартоше чтением по диагонали не нашёл. А более обще хочу найти доказательство того, что конец - это множество натуральных преобразований.
Oℕ
Чтобы отобразить множество
F a -> G b во множество F c -> G d, вы используете пару морфизмов g: c -> a, и h : b -> d , для каждого элемента f : F a -> G b вы выполняете композицию
F g ; f ; G h
F a -> G b во множество F c -> G d, вы используете пару морфизмов g: c -> a, и h : b -> d , для каждого элемента f : F a -> G b вы выполняете композицию
F g ; f ; G h
MV
ага, понял, спасибо
2021 July 21
SB
А почему?
SB
PhD ведь все ещё philosophy doctor.