Corpus ID: 14675697

Unifying Set-Based, Delta-Based and Edit-Based Lenses

@inproceedings{Johnson2016UnifyingSD,
  title={Unifying Set-Based, Delta-Based and Edit-Based Lenses},
  author={Michael Johnson and R. Rosebrugh},
  booktitle={Bx@ETAPS},
  year={2016}
}
There are many dierent types of lenses, but largely they fall into the three classes of the title: set-based, delta-based and edit-based lenses. This paper develops some of the general relationships between those classes. The main results are that a category of set-based lenses is a full subcategory of a category of delta-based lenses determined by sending sets to codiscrete categories; that symmetric set-based lenses can similarly be seen as symmetric delta-based lenses; that symmetric… Expand
Symmetric delta lenses and spans of asymmetric delta lenses
Universal Updates for Symmetric Lenses
Lenses and Learners
Multicategories of Multiary Lenses
Supervised categorical learning as change propagation with delta lenses
  • Z. Diskin
  • Computer Science, Mathematics
  • ArXiv
  • 2019
A diagrammatic approach to symmetric lenses
Limits and colimits in a category of lenses
Internal lenses as functors and cofunctors
Cospans and symmetric lenses
...
1
2
3
...

References

SHOWING 1-8 OF 8 REFERENCES
Spans of Delta Lenses
Symmetric lenses
Edit lenses
Spans of lenses
Algebras and Update Strategies
Lenses and View Update Translation