Функтор
- Функтор — это отображение между категориями, сохраняющее структуру и морфизмы.
- Функторы играют важную роль в теории категорий и имеют различные свойства.
- Существует соглашение о терминологии, относящейся к «векторам» и «охватывающим» элементам пространства сечений.
- Каждый функтор индуцирует противоположный функтор, который отображает объекты и морфизмы аналогично исходному.
- Бифункторы и мультифункторы являются обобщениями понятия функтора на несколько переменных.
- Функторы могут быть составлены, и композиция функторов является ассоциативной и имеет тождественный функтор.
- Функторы часто определяются универсальными свойствами, такими как тензорное произведение и прямые суммы.
- В функциональном программировании функторы могут появляться в языках, таких как Haskell.
Полный текст статьи: