Оружие математика | Теория категорий и почему нам это не всё равно 1.0

Ненавязчивое введение в изучение теории категорий и абстрактной алгебры, представленное с самых азов через изучение математического оружия абстракции. Цель этого видео — дать обзор фундаментального инструмента, находящегося на переднем крае чисто математических исследований: абстракции. Рассматривая этот инструмент в различных контекстах и ​​то, как он позволяет нам естественным и интуитивно понятным образом работать с теорией категорий, мы увидим, насколько прекрасным может быть абстрактное. ― Временные метки ― 0:00 — Вступление 1:49 — Абстракция и алгебра 7:30 — Примеры абстракции 8:49 — Теория множеств 13:25 — Теория категорий 21:16 — Заключение ― Титры ― Вся анимация и закадровый голос созданы Eyesomorphic. Фоновая музыка: «Abstraction», автор — Кейлеб Пеппиатт. ― Дополнительная литература ― Язык категорий:    • The Language of Categories | Category Theo...   «Теория категорий для программистов: Предисловие» Бартоша Милевского:
«Теория категорий для вычислительной науки» Майкла Барра и Чарльза Уэллса (книга) ― Обратите внимание ― Это видео является перезаливом предыдущей версии, поэтому оно было загружено после второй лекции из этой серии. Это было связано с проблемами микширования звука при первой загрузке.