a question

Hello, could anyone point me out to a proof that the category F whose objects are natural numbers and morphisms are morphisms of finite sets is a free category with coproducts where the associativity and unity isomorphisms are identities generated by one object? Thank you in advance, Vladimir. [For admin and other information see: http://www.mta.ca/~cat-dist/ ]