log in  |  register  |  feedback?  |  help  |  web accessibility
PLunch: What You Needa Know about Yoneda
Yiyun Liu
IRB 5237
Tuesday, October 1, 2019, 11:00 am-12:00 pm Calendar
  • You are subscribed to this talk through .
  • You are watching this talk through .
  • You are subscribed to this talk. (unsubscribe, watch)
  • You are watching this talk. (unwatch, subscribe)
  • You are not subscribed to this talk. (watch, subscribe)

Weekly PL reading group discussing the paper "What You Needa Know about Yoneda". Discussion will be led by Yiyun Liu. Paper available at https://www.cs.ox.ac.uk/jeremy.gibbons/publications/proyo.pdf.

Profunctor optics are a neat and composable representation of bidirectional data accessors, including lenses, and their dual, prisms. The profunctor representation exploits higher-order functions and higher-kinded type constructor classes, but the relationship between this and the familiar representation in terms of ‘getter’ and ‘setter’ functions is not at all obvious. We derive the profunctor representation from the concrete representation, making the relationship clear. It turns out to be a fairly direct application of the Yoneda Lemma, arguably the most important result in category theory. We hope this derivation aids understanding of the profunctor representation. Conversely, it might also serve to provide some insight into the Yoneda Lemma.

This talk is organized by Sankha Narayan Guria