Definition:Natural Transformation

Definition
Let $\mathbf C$ and $\mathbf D$ be categories.

Also see

 * Definition:Natural Isomorphism
 * Definition:Functor Category