Lenses and Learners — Brendan Fong & Michael Johnson (2019). arXiv:1903.03671 (v2, PDF); In: J. Cheney, H-S. Ko (eds.): Proceedings of the Eighth International Workshop on Bidirectional Transformations (Bx 2019), Philadelphia, PA, USA, June 4, 2019, published at http://ceur-ws.org.
Shows that learners and lenses are tightly linked: there is a faithful identity-on-objects symmetric monoidal functor embedding asymmetric lenses into learners, and another embedding learners into symmetric lenses.
Sources: the paper, arXiv:1903.03671v2, checked against the arXiv listing. Index: Papers.
Key definitions and results
- Embeddings of asymmetric lenses into learners and of learners into symmetric lenses