Функтор — Википедия, бесплатная энциклопедия

Функтор Функтор — это отображение между категориями, сохраняющее структуру и морфизмы.  Функторы играют важную роль в теории категорий и имеют […]

Функтор

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

Полный текст статьи:

Функтор — Википедия, бесплатная энциклопедия

Оставьте комментарий

Прокрутить вверх