Definition:Natural Isomorphism

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

Also see

 * Definition:Functor Category