The Algebraic Weak Factorisation System for Delta Lenses
From MaRDI portal
Publication:6435306
DOI10.4204/EPTCS.397.4arXiv2305.02732MaRDI QIDQ6435306FDOQ6435306
Authors: Bryce Clarke 
Publication date: 4 May 2023
Abstract: Delta lenses are functors equipped with a suitable choice of lifts, and are used to model bidirectional transformations between systems. In this paper, we construct an algebraic weak factorisation system whose R-algebras are delta lenses. Our approach extends a semi-monad for delta lenses previously introduced by Johnson and Rosebrugh, and generalises to any suitable category equipped with an orthogonal factorisation system and an idempotent comonad. We demonstrate how the framework of an algebraic weak factorisation system provides a natural setting for understanding the lifting operation of a delta lens, and also present an explicit description of the free delta lens on a functor.
This page was built for publication: The Algebraic Weak Factorisation System for Delta Lenses
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6435306)
