Definition:Functor

Definition
Informally, a functor is a morphism of categories.

It may be described as what one must define in order to define a natural transformation.

This is formalized by defining the category of categories.

Also see

 * Definition:Natural Transformation
 * Definition:Functor Category
 * Definition:Category of Categories