\begin{definition}[Definition:Functor]
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.
\end{definition}