В математике, особенно в теории категорий, функтор - это отображение между категориями. Функторы впервые были рассмотрены в алгебраической топологии, где алгебраические объекты связаны с топологическими пространствами, а отображения между этими алгебраическими объектами связаны с непрерывными отображениями между пространствами.
Как определить функтор?
В функциональном программировании функтор - это шаблон проектирования, вдохновленный определением из теории категорий, который позволяет универсальному типу применять функцию внутри без изменения структуры универсального типа. Эта идея закодирована в Haskell с использованием класса типов. class Functor f где fmap:: (a -> b) -> f a -> f b.
Является ли функтор морфизмом?
Тождественный функтор: в категории C, записанный 1C или idC, отображает объект в себя и морфизм в себя. Тождественный функтор - это эндофунктор.
Что такое функтор в лингвистике?
Функциональное слово в языкознании. В компьютерном программировании: Functor (функциональное программирование) Функциональный объект, используемый для передачи указателей функций вместе с информацией о состоянии. использование этого термина в языке Пролог см. в разделе Синтаксис и семантика Пролога.
Является ли список функтором?
Согласно разработчикам Haskell, все типы, такие как список, карта, дерево и т. д., являются экземплярами функтора Haskell.
