Lance Myers

An observation about (co)elgot (co)algebras and optics, as well as some musings on recursive equations specified by optics.

Notes on algebras, Lambek's lemma, and common recursion schemes such as (ana/cata/hylo)-morphisms.

Notes on the Van Laarhoven representation of lenses