\begin{definition}[Definition:Natural Isomorphism between Covariant Functors]
Let $\mathbf C$ and $\mathbf D$ be categories.
Let $F, G : \mathbf C \to \mathbf D$ be covariant functors.
\end{definition}