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
- mapalways returns functors of the same type
- arrays