Allan wrote:
> There is a natural transformation from \$$G\$$ to \$$F\$$ with a single morphism \$$\alpha_{v_1} : G(v_1) \to F(v_1)\$$ ie \$$v_2 \to v_1\$$. The naturality condition again trivially holds.

I'm not sure \$$v_2 \to v_1\$$ is an existing morphism in \$$\textbf{2}\$$. ;)