Category Theory itself assumes the existence of natural numbers. My point was about whether their futher "axiomatization" via a functor makes it easier to prove theorems or make discoveries.