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