L🇷
А, приму к сведению. Я подумал что так (Cat) обозначалась бы малая категория внтури не малой.
ну и ещё можно вопросик для закрепления?)
Фунции - это проекции(map) одних элементов алгебраической структуры, а конкретно множества, на другие.
Морфизмфы - это проекции одного объекта категории (чего-то) на другой.
Функторы - это проекции одной категории на другую.
Натуральные преобразования - это проекции одного функтора на другой.
Я правильно понимаю?