functor

functor

A function between categories which associates objects with objects and morphisms with morphisms.

functor

In category theory, a functor F is an operator on types. F
is also considered to be a polymorphic operator on functions
with the type

F : (a -> b) -> (F a -> F b).

Functors are a generalisation of the function "map". The
type operator in this case takes a type T and returns type
"list of T". The map function takes a function and applies it
to each element of a list.

All content on this website, including dictionary, thesaurus, literature, geography, and other reference data is for informational purposes only. This information should not be considered complete, up to date, and is not intended to be used in place of a visit, consultation, or advice of a legal, medical, or any other professional.