The Algebraic Weak Factorisation System for Delta Lenses

Bryce Clarke

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 we…