Композиция и диаграммы. Как комбинировать преобразования? // Теория категорий 1.3.

Про то, как комбинировать и изображать морфизмы

Замечания:
1. при взятии функции используется порядок справа налево g(f(x)) = g○f (...). Это стандартно в теоретико-множественных обозначениях.
Для удобства: я применяют постфиксную запись, в порядке следования функций на диаграммах (...) f○g. Это позволяет отслеживать порядок стрелок на диаграмме слева-направо. Можете также прочесть https://ru.wikipedia.org/wiki/Обратна...

2. на 04:15 - ошибка. Повороты поделены на 2. Вместо 60, 120 и 180, нужно 120, 240 и 360.


отблагодарить/поддержать:
https://boosty.to/molotov_ilya/donate


Дополнительные материалы:
- https://ncatlab.org/nlab/show/composi...
- Conceptual Mathematics, A first introduction to categories - 16 стр.
- Sets for Mathematics - cтр.3
- Голдблатт. Топосы - стр. 34

Структура:
00:00 Вступление
00:50 Теория
02:00 Замечания
03:50 Примеры
05:05 Практика
06:46 Заключение

Ключевые слова:
- композиция
- морфизмы
- внешние диаграммы
- внутренние диаграммы
- теория категорий


В видео использованы материалы:
1. https://icons8.com/icon/QPMtNJY6smos/...
2. https://icons8.com/icon/yIgs898MG4Ai/...
3. https://icons8.com/icon/118377/chat-m...