Profunctor Optics, a Categorical Update
Substrate
NY Category Theory Meetup’s Category Theory in Context solution set
Contribute to cohomolo-gy/cats-in-context development by creating an account on GitHub.
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.