Unifying set-based, delta-based and edit-based lenses

Michael Johnson, Robert Rosebrugh

Research output: Contribution to journalConference paperpeer-review

25 Citations (Scopus)


There are many different 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 edit-based lenses are able to be represented as symmetric delta-based lenses, although not as a subcategory; and that symmetric edit-based lenses can also be seen as spans of a new notion of asymmetric edit-based lenses. The importance of the paper is that it provides a substantial unification with concrete inter-conversions developed among the three main approaches to lenses in both their symmetric and asymmetric forms.

Original languageEnglish
Pages (from-to)1-13
Number of pages13
JournalCEUR Workshop Proceedings
Publication statusPublished - 2016
EventInternational Workshop on Bidirectional Transformations (5th : 2016) - Eindhoven, Netherlands
Duration: 8 Apr 20168 Apr 2016


Dive into the research topics of 'Unifying set-based, delta-based and edit-based lenses'. Together they form a unique fingerprint.

Cite this