Hacker News Reader

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

View on HN

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.

Reply on news.ycombinator.com