Функтор

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