Categories of Optics (2018)

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