Natural transformation (source code)

= Natural transformation
{wiki}

A natural transformation $\alpha:F\Rightarrow G$ assigns a morphism $\alpha_A:F(A)\to G(A)$ to every object so that $G(f)\alpha_A=\alpha_BF(f)$ for every morphism $f:A\to B$.