Category Theory Day One#rylee-lyman#category-theory#yoneda·ryleealanza.org·Jul 28, 2020Category Theory Day One
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