Про то, как комбинировать и изображать морфизмы
Замечания:
1. при взятии функции используется порядок справа налево g(f(x)) = g○f (...). Это стандартно в теоретико-множественных обозначениях.
Для удобства: я применяют постфиксную запись, в порядке следования функций на диаграммах (...) f○g. Это позволяет отслеживать порядок стрелок на диаграмме слева-направо. Можете также прочесть ru.wikipedia.org/wiki/Обратна...
2. на 04:15 - ошибка. Повороты поделены на 2. Вместо 60, 120 и 180, нужно 120, 240 и 360.
отблагодарить/поддержать:
boosty.to/molotov_ilya/donate
Дополнительные материалы:
- 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. icons8.com/icon/QPMtNJY6smos/...
2. icons8.com/icon/yIgs898MG4Ai/...
3. icons8.com/icon/118377/chat-m...
19 май 2024