Na matemática, especificamente na teoria das categorias, um functor é um mapeamento entre categorias. Functores foram primeiramente considerados na topologia algébrica, onde objetos algébricos são associados a espaços topológicos, e mapas entre esses objetos algébricos são associados a mapas contínuos entre espaços.
Como você define um functor?
Na programação funcional, um functor é um padrão de projeto inspirado na definição da teoria das categorias, que permite que um tipo genérico aplique uma função dentro sem alterar a estrutura do tipo genérico. Essa ideia é codificada em Haskell usando a classe de tipo. class Functor f onde fmap:: (a -> b) -> f a -> f b.
Um functor é um morfismo?
Functor de identidade: na categoria C, escrito 1C ou idC, mapeia um objeto para si mesmo e um morfismo para si mesmo. O functor identidade é um endofunctor.
O que é um functor em linguística?
Palavra de função em linguística. Na programação de computadores: Functor (programação funcional) Objeto de função usado para passar ponteiros de função junto com informações de estado. para uso do termo na linguagem Prolog, veja Sintaxe e semântica do Prolog.
Lista é um functor?
De acordo com os desenvolvedores do Haskell, todos os tipos como List, Map, Tree, etc. são a instância do Functor Haskell.
