m
Алуффи оказался сложен к сожалению, имхо
Size: a a a
2019 December 06
AL
@drunk_foxx Conceptual Mathematics только, не Concrete. То немного другая книга.
Тоже подумал причем тут Кнут и категории.
IJ
Алуффи оказался сложен к сожалению, имхо
Он, мне кажется, хорош не чтобы "только категории" учить
IJ
Так можно отдельные вещи у него выцепить, если в других книгах непонятно, он интуицию часто хорошую дает имхо
LB
kucheryavenkov
Что читать чайнику? Делал заход на "теория категорий для погромиста" (не помню как это по-английски), продолжать осиливать её или чото иное?
Читаю сейчас это книгу и смотрю паралельно видео от того же д'артаньяна, не спешу и перечитываю главы по несколько раз . Рекомендую
A
он еще местами ссылается на catsters (правильно написал?), их я тоже смотрю
NI
Оффтопик, но круто! ;-)
https://twitter.com/lemire/status/1202974803961032704?s=20
https://twitter.com/lemire/status/1202974803961032704?s=20
2019 December 07
V
Оффтопик, но круто! ;-)
https://twitter.com/lemire/status/1202974803961032704?s=20
https://twitter.com/lemire/status/1202974803961032704?s=20
эх, когда я уже дождусь последнего тома слона
k
на видео лень время тратить
NI
kucheryavenkov
на видео лень время тратить
Видео Catsters'ов небольшие по времени, очень всё сжато, кратко.
Хотя и лучше бы они то же самое текстом сделали ;-)
Хотя и лучше бы они то же самое текстом сделали ;-)
МБ
Кто о чём, а вшивый о бане:
1. есть ли способы как-то технологично ослаблять требования к равенству морфизмов?
2. Никому не попадалась оригинальная статья Скотта именно о категории доменов?
1. есть ли способы как-то технологично ослаблять требования к равенству морфизмов?
2. Никому не попадалась оригинальная статья Скотта именно о категории доменов?
E
п.1 – HoTT! очевидно же
Oℕ
Кто о чём, а вшивый о бане:
1. есть ли способы как-то технологично ослаблять требования к равенству морфизмов?
2. Никому не попадалась оригинальная статья Скотта именно о категории доменов?
1. есть ли способы как-то технологично ослаблять требования к равенству морфизмов?
2. Никому не попадалась оригинальная статья Скотта именно о категории доменов?
1. n - категории
МБ
п.1 – HoTT! очевидно же
А как HoTT работает с бесконечными конструкциями? Я читал о действительных числах - довольно громоздко, мне на таком языке ничего не выразить из желаемого. Есть ли примеры построения Stream-ов в HoTT?
МБ
1. n - категории
А в них сохраняется понятие декартовой замкнутости?
E
А вам для дела... тогда можно обойтись 2-категории, без infinity-groupoids
Oℕ
А в них сохраняется понятие декартовой замкнутости?
Oℕ
А как HoTT работает с бесконечными конструкциями? Я читал о действительных числах - довольно громоздко, мне на таком языке ничего не выразить из желаемого. Есть ли примеры построения Stream-ов в HoTT?
Бесконечные разными бывают.
Можно просто брать пи типы с достаточно большим доменом ( натуральные, например).
А можно кодату. Про второе я ничего не знаю, но в завтипах раньше был Куклев, он что-то знает
Можно просто брать пи типы с достаточно большим доменом ( натуральные, например).
А можно кодату. Про второе я ничего не знаю, но в завтипах раньше был Куклев, он что-то знает
ЗП
Кодата и линейные типы же пересекутся?
NI
Кодата и линейные типы же пересекутся?
Модальность !, это терминальная коалгебра.