Functor

Note that contravariant functors reverse the direction of composition.

A functor that maps a category to that same category; e.g., polynomial functor.