Given categories $C,D$ and functors $F,G\colon C \to D$, an unnatural transformation from $F$ to $G$ consists of, for each object $x$ of $C$, a morphism from $F(x)$ to $G(x)$ in $D$.

Thus a natural transformation is an unnatural transformation that satisfies an extra property, namely naturality.

Created on September 22, 2017 at 04:19:26. See the history of this page for a list of all contributions to it.