Nelson natural number objects in a topos (say) Nelson's predicative arithmetic (survey article) is a very weak system of arithmetic extending Robinson's $Q$ (Wikipedia). 
We can have natural number objects in a topos, or even a merely finitely complete category, which essentially model the Peano axioms, so it is natural to wonder if we have objects which in some sense are internal versions of weaker arithmetics.
In particular, even though this question would be interesting for $Q$, Nelson's arithmetic is interesting in that one has the collection of natural numbers, but one can only prove that an initial segment forms a commutative ring closed under successor, rather than the collection of all the natural numbers (I'm fudging on some metamathematical details here). Also, one cannot define a total exponentiation function on any initial segment.
So is there a way to talk about Nelson Natural Number Objects in a category? (i.e. NNNOs - which could be a rich source of spell-checking confusion :) Assume as much structure on said category as necessary.
 A: I think the answer is no, because being an natural number object is a universal property and being a model of Nelson arithmetic is not.
As long as a category is Heyting (is a regular category where the inverse image maps between subobject lattices have right adjoints) it is possible to talk about models of any first order theory inside the category. There is a problem though: often the models of a first order theory are not unique up to (unique) isomorphism in Heyting categories. So being the model of a first order theory in a Heyting category isn't often a universal property. 
A natural number object is not essentially a model of Peano arithmetic, as Peano arithmetic has many non standard models. I would say that it is essentially a model of second order arithmetic, although this doesn't directly make sense in other categories than toposes.
Nelson arithmetic is weaker than Peano arithmetic, and therefore has the same non standard models, if not many more. One could say that there are usually are many non isomorphic Nelson natural number objects. But I don't think this is what you mean.

After Francois' comment, I might have a better idea of what you are looking for. I suppose you want something like a natural number object, that happens to force Nelson's arithmetic in the internal language.
The definition of natural number object makes sense in arbitrary monoidal categories, if formulated properly. In these contexts we still have all primitive recursive functions, though; they don't have the restrictions in complexity that the survey article on Nelson's arithmetic mentions. So removing structure from the ambient category is insufficient.
Linear logics are capable of controlling complexity, and I would look for an answer there. The idea is that the ambient category has an endofunctor $!$, and that recursion does not give you morphisms from the natural number object $N$, but from $!N$ instead. You can now control the debt of recursion in functions $N\to N$ by controlling which morphisms $!N\to N$ factor though a canonical morphism $!N\to N$. I have tried to find a related universal property a couple of months back, but have been unsuccessful.
