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}\\). ;)