En matemàtiques, concretament en la teoria de categories, un functor és un mapeig entre categories. Els funcionals es van considerar per primera vegada a la topologia algebraica, on els objectes algebraics s'associen a espais topològics i els mapes entre aquests objectes algebraics s'associen a mapes continus entre espais.
Com es defineix un functor?
En programació funcional, un functor és un patró de disseny inspirat en la definició de la teoria de categories, que permet que un tipus genèric apliqui una funció a l'interior sense canviar l'estructura del tipus genèric. Aquesta idea està codificada a Haskell mitjançant la classe de tipus. Class Functor f on fmap:: (a -> b) -> f a -> f b.
Un functor és un morfisme?
Functor d'identitat: a la categoria C, escrit 1C o idC, assigna un objecte a si mateix i un morfisme a si mateix. El functor d'identitat és un endofunctor.
Què és un functor en lingüística?
Paraula de funció en lingüística. A la programació d'ordinadors: Functor (programació funcional) Objecte de funció utilitzat per passar punters de funció juntament amb informació d'estat. per a l'ús del terme en llenguatge Prolog, vegeu la sintaxi i la semàntica de Prolog.
La llista és un functor?
Segons els desenvolupadors de Haskell, tots els tipus com ara llista, mapa, arbre, etc. són la instància del Functor Haskell.
