Морфизмы-стрелки и домены // Теория категорий 1.2.

Теория категорий 1.2.
Описание преобразований между объектами.

Доп. материалы почитать:
- https://ncatlab.org/nlab/show/target
- https://ncatlab.org/nlab/show/domain

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

В качестве практики:
1. Можно ли операцию с одним объектом представить стрелкой? Как это формально записать и не будет ли противоречия.
2. Можно ли придумать что-то для связи трёх объектов на основе связи отдельных пар.
3. Вспомните придуманные ранее объекты. Каким способом можно построить стрелки между ними? Какие преобразования превращают один объект в другой?
4. Можно ли превратить один объект в другой более чем одним способом? В чём при этом будут отличия или гибкость самого объекта.
5. Можно ли обратить это преобразования?
6. Есть ли структуры в категории между которыми вообще нет стрелок?
7. Задание со звёздочкой. Придумайте некоторые объекты на основе морфизмов, к примеру только стрелок заданных 2мя способами один из которых обратим - и попытайтесь подставить по нему пару структур.

Структура:
00:00 Интро
00:38 Идея
01:49 Теория
07:30 Примеры
09:46 Замечания
10:44 Практика
12:22 Заключение

Ключевые слова:
Теория категорий, стрелки, домены, морфизмы, преобразования.

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