Profunctor Optics, a Categorical Update#emily-pillmore#mario-román#bryce-clarke#derek-elkins#jeremy-gibbons#bartosz-milewski#fosco-loregian#optics#category-theory·cs.ttu.ee·Dec 19, 2019Profunctor Optics, a Categorical Update
NY Category Theory Meetup’s Category Theory in Context solution setContribute to cohomolo-gy/cats-in-context development by creating an account on GitHub.#emily-riehl#emily-pillmore#category-theory·github.com·Aug 29, 2019NY Category Theory Meetup’s Category Theory in Context solution set
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