3 ms·
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
by 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 agoCategory 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.