It looks like you're new here. If you want to get involved, click one of these buttons!
New paper by Mitchell Riley, putting optics - the technique popularised in Haskell for accessing and modifying state in a highly general way - on a sound categorical footing.
Despite being familiar with lens/optics usage in Haskell, I'm finding this paper very difficult, although this course has certainly helped. Profunctors feature heavily of course, as do end/coends, which I have so far found impenetrable.