Морфизмы как преобразования. От логики до машинного обучения.

Как преобразования становятся объектами, а объекты - преобразованиями? Изучаем морфизмы в теории категорий: асимметрия, сохранение структуры, связь с ML и функциональным программированием. текст: Эпизоды 00:00 Интро 00:16 Что такое морфизмы? 00:42 Примеры 01:44 Внешние и внутренние диаграммы 02:41 Сохранение структуры 03:50 Асимметрия морфизмов 04:54 Булева структура 05:49 Тройная структура? 07:22 Функциональные блоки 08:10 Многопоточность 09:12 Перцептрон 10:10 Данные в векторных пространствах 11:14 Морфизмы между морфизмами 12:25 Размерность морфизмов (0,1,2,3...) 13:32 Взаимодополнение объектов и преобразований 15:05 Аналогия с линейной алгеброй 16:41 Итоги