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

category | contravariant functor | covariant functor | Eilenberg-Steenrod axioms | forgetful functor | morphism | Schur functor | tensor product functor