According to wikipedia a functor is a type of mapping between categories arising in category theory.
To simplefy it, functors are objects, types, function that contain implementation of the map
function.
The map transforms contents of the functor.
- implementation of map function that transforms contents of the functor
map
always returns functors of the same type
- arrays