A function between Categories which maps objects to objects and Morphisms to Morphisms. Functors exist in both covariant and contravariant types.
