Definition:Functor

Definition
A functor is a morphism of categories.