B
Пока что не нуждался, тем более что знакомых коллег особо нет
Size: a a a
2019 October 31
ES
Brenoritvrezorkre
Пока что не нуждался, тем более что знакомых коллег особо нет
Самое интересное, как только появиться чат, так туда набегут куча народа.
ES
В частности, можно позвать около миановских товарищей.
2019 November 02
B
https://t.me/symboliclogic — ничто не обещается, конечно же
2019 November 06
RA
Решил поискать, что бы почитать по теории категорий )
B
тоже теория категорий )
B
Есть ещё одна
B
Лингвистическая
B
Что самое характерное, так это то, что, кажется, там используют мат. теорию категорий, но лингв. теория категорий является теорией категорий не поэтому.
B
(категорная грамматика)
B
(вышла из теории семантических категорий Айдукевича)
2019 November 12
ЮБ
ЮБ
Участие в этой инициативе уже подтвердили Бартош Милевский и Эдвард Кметт! Мне кажется, за их деятельностью есть смысл пристально следить. Когда вместе собираются такие умы, точно должно получиться что-то значимое.
2019 November 14
МБ
Главное, чтобы они не оторвались от реальности. Милевский вот имеет некоторую склонность к этому. Надеюсь, Спивак будет там для них балластом в полёте мысли :)
Oℕ
Есть примеры отрыва Милевского от реальности?
NI
Немножко разве есть, но на мой взгляд, вполне в меру и приводить их не стоит.
МБ
Мне кажется, он иногда слишком уж заморачивается с леммой Йонеды. Не очень бывает понятно, какой за этим прикладной смысл. Могу ошибаться
NI
Мне кажется, он иногда слишком уж заморачивается с леммой Йонеды. Не очень бывает понятно, какой за этим прикладной смысл. Могу ошибаться
В хаскеле считать количества элементов в типе ;-)
KV
По крайней мере в записях лекций он её использовал для доказательства чего-то ещё существенного несколько раз
ЗП
В хаскеле считать количества элементов в типе ;-)
инхабитантов :D