A map (is this always used for Functors?) is called functorial if it satisfies the conditions:
which are required for the arrow-map of a Functor (mapping between arrows of two Categoryes)