Functors An object with a map operation that satisfies the functor laws i.e. identity and composition laws