Categories of Optics (2018) (arxiv.org)

Note that "optics" here is in functional programming (or rather, category theory) sense, not in physics sense.