A diagrammatic approach to symmetric lenses

@inproceedings{Clarke2021ADA,
  title={A diagrammatic approach to symmetric lenses},
  author={Bryce Clarke},
  year={2021}
}
Lenses are a mathematical structure for maintaining consistency between a pair of systems. In their ongoing research program, Johnson and Rosebrugh have sought to unify the treatment of symmetric lenses with spans of asymmetric lenses. This paper presents a diagrammatic approach to symmetric lenses between categories, through representing the propagation operations with Mealy morphisms. The central result of this paper is to demonstrate that the bicategory of symmetric lenses is locally adjoint… Expand
Delta lenses as coalgebras for a comonad

References

SHOWING 1-10 OF 18 REFERENCES
Spans of Delta Lenses
Internal lenses as functors and cofunctors
Symmetric delta lenses and spans of asymmetric delta lenses
Universal Updates for Symmetric Lenses
Unifying Set-Based, Delta-Based and Edit-Based Lenses
Taking Updates Seriously
Symmetric c-Lenses and Symmetric d-Lenses are Not Coextensive
Mealy Morphisms of Enriched Categories
  • R. Paré
  • Mathematics, Computer Science
  • Appl. Categorical Struct.
  • 2012
The formal theory of monads II
...
1
2
...