Both modes of definition need a way of insisting on a certain “minimality” for the structure of natural numbers that they are developing. The Peano axioms formulate this “minimality” by dependence upon the domino effect of truth in a mathematically inductive context. The Peano category approach formulates “minimality” by considering the position of the natural numbers as a discrete dynamical system, among all discrete dynamical systems.

Slides for Scalaworld 2019. Contribute to cohomolo-gy/Type-Arithmetic-and-the-Yoneda-Perspective development by creating an account on GitHub.