Оглавление
Анафунктор
-
Определение и свойства функтора
- Функтор – это отображение между категориями, сохраняющее структуру.
- Функтор может быть определен как отображение между множествами, сохраняющее операции.
- Функтор является гомоморфизмом, если он сохраняет операции и является инъективным.
-
Примеры функторов
- Функтор, отображающий натуральные числа в натуральные числа, является примером функтора.
- Функтор, отображающий множества в множества, является примером функтора.
-
Свойства функтора
- Функтор должен быть биективным, если он отображает множество в себя.
- Функтор должен быть сюръективным, если он отображает все элементы множества в элементы другого множества.
-
Примеры функторов в программировании
- Функтор в программировании может отображать типы данных в типы данных.
- Функтор в программировании может отображать функции в функции.
-
Свойства функтора в программировании
- Функтор в программировании должен быть инъективным, если он отображает типы данных в типы данных.
- Функтор в программировании должен быть сюръективным, если он отображает функции в функции.
Полный текст статьи: