Универсальная конструкция | Теория категорий и почему мы заботимся 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» (книга) от Пауло Алуффи