Categories of Optics — Mitchell Riley (2018). arXiv:1809.00738 (v2, PDF).
A careful account of the general optic construction for a symmetric monoidal category, showing it is functorial and freely adds counits, and giving a general notion of lawfulness equivalent to the folklore profunctor-optic laws.
Sources: the paper, arXiv:1809.00738v2, checked against the arXiv listing. Index: Papers.
Key definitions and results
- Definition 2.0.1: optics
- Definition 2.2.1: monoidal actions
- §4: lenses, prisms, setters as optics