https://www.youtube.com/c/RichardSouthwell/playlists
Там есть плейлист Category Theory For Beginners.
Изложение довольно медленное, понятное и подробное (возможно кому-то покажется слишком медленное).
Очень понравилось видео про Universal Properties, наконец-то начал понимать немного.
У автора этих видео еще и книжка есть по теории категорий "Categories and Toposes: Visualized and Explained"
P.S. Не спрашивайте зачем это нужно, just for fun.
Здравствуйте, σ, Вы писали:
σ>И как оно по сравнению с творчеством Bartosz Milewski?
Вокруг Бартоша по-моему много хайпа, потому что назвал "for programmers". Вроде и по делу, но много воды и тяжело понимать, когда уже идут сложные вещи. Я бросил где-то на середине книги.
Здравствуйте, σ, Вы писали:
σ>И как оно по сравнению с творчеством Bartosz Milewski?
При всей любви к творчеству Milewski (читал его статьи немного) эти видео мне показались гораздо лучше.
Пока короной болел смотрел эти видео, очень настроение поднимало.
Тут меньше про программирование, на хорошем уровне все излагается, и английский на слух очень понятный.
При этом не надо знать всю математику, чтобы понимать примеры, как в Маклейне.
Правда еще не посмотрел многое, там вторая половина какая-то жесть по времени каждой лекции.
