6 ms·

Sure, one can, but does it help with anything? Just curious.

• ketralnis 2y ago
  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
  • Koshkin 2y ago
    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.