半年くらい積読してた Closure Conversion as CoYoneda http://prl.ccs.neu.edu/blog/2017/08/28/closure-conversion-as-coyoneda/ を読んだ。
CoYonedaを知らなくて、勝手に米田の補題の反変版と共変版がYoneda,CoYonedaなのかと思い込んでいたら違って、endとcoendの双対だったという(汗)。
以前に Notions of Computation as Monoids を読んで https://plus.google.com/+MasahiroSakai/posts/Y5ZeY5bmcw6 、end/coendはなんだか理解した気でいたが、結局忘れてて、また復習することに……この記事も非常に分かりやすくて助かった。
あと、 Notions of Computation as Monoids でも出てきた Day Convolution に関して分離論理(separation logic)の意味論に使われてると書いてあって、へーと思った。 リンクが切れているけれど
Robert Atkey. Substructural Simple Type Theories for Separation and In-place Update. PhD Thesis, University of Edinburgh. 2006.
https://bentnib.org/thesis.html
の話っぽい。