Why not simply take \\(\mathbb{N}\\) as the free category on one object and one (non-identity) morphism?