What you needa know about Yoneda: profunctor optics and the Yoneda lemma (functional pearl)

Guillaume Boisseau, Jeremy Gibbons. What you needa know about Yoneda: profunctor optics and the Yoneda lemma (functional pearl). Proceedings of the ACM on Programming Languages, 2(ICFP), 2018. [doi]

Abstract

Abstract is missing.