Emily Pillmore’s Type Arithmetic and the Yoneda Lemma talk slidesSlides for Scalaworld 2019. Contribute to cohomolo-gy/Type-Arithmetic-and-the-Yoneda-Perspective development by creating an account on GitHub.#emily-pillmore#yoneda#category-theory#slides·github.com·Aug 29, 2019Emily Pillmore’s Type Arithmetic and the Yoneda Lemma talk slides