Category Theory Day One
Substrate
Barry Mazur’s “When is one thing equal to some other thing?” memo
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.
Emily Pillmore’s Type Arithmetic and the Yoneda Lemma talk slides
Slides for Scalaworld 2019. Contribute to cohomolo-gy/Type-Arithmetic-and-the-Yoneda-Perspective development by creating an account on GitHub.