It's up to you if you think it's "better" but it's answering the question of whether Peano axioms are the only fundamental structure

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.