Profunctor Optics, a Categorical Update — Bryce Clarke, Derek Elkins, Jeremy Gibbons, Fosco Loregian, Bartosz Milewski, Emily Pillmore & Mario Román (2020). arXiv:2001.07488 (v6, PDF); Compositionality, Volume 6 (2024) (February 23, 2024) compositionality:13530.
Generalises Pastro–Street Tambara theory to mixed, enriched optics, describing mixed -enriched profunctor optics with category structure, and catalogues optics (lenses, prisms, traversals, grates, Kleisli optics…) as instances.
Sources: the paper, arXiv:2001.07488v6, checked against the arXiv listing. Index: Papers.
Key definitions and results
- Mixed optics; Tambara representation theorem for enriched mixed optics