Functor is to Lens as Applicative is to Biplate: Introducing Multiplate

Russell O'Connor

This paper gives two new categorical characterisations of lenses: one as a coalgebra of the store comonad, and the other as a monoidal natural transformation on a category of a cer…