Универсальная конструкция | Теория категорий и почему мы заботимся 1.2

Чтобы в полной мере использовать изученную нами увлекательную теорию категорий, нам нужен способ абстрагировать определения из конкретной категории, а затем применять их к любой другой. Решение этой проблемы — универсальное построение. В этом видео мы рассмотрим процесс универсального построение и увидим его применение на практике, что позволит нам лучше понять некоторые изящные взаимосвязи между категориями, с которыми мы уже сталкивались. На примере математических доказательств, функционального программирования и других областей это следующий важный шаг к абстракции, который ведёт нас в нашем путешествии по теории категорий. ― Временные метки ― 0:00 — Вступление 1:03 — Изоморфизм 5:22 — Конечный объект 10:41 — Универсальное построение 12:27 — Союз 17:32 — Произведение 18:29 — Тип пары 24:12 — Заключение 25:00 — Упражнение ― Титры ― Вся анимация и озвучка созданы Eyesomorphic. Фоновая музыка: «Sonder», автор — Кейлеб Пеппиатт. ― Дополнительная литература ― «Теория категорий и почему мы заботимся» от Eyesomorphic (цикл лекций):    • Category Theory and Why We Care   «Алгебра: Глава 0» (книга) от Пауло Алуффи