Abstract
We show how "taking updates seriously" leads from state-based lenses to update lenses and further; we witness a little hierarchy of types of lens that arises in a systematic way. Lenses of each type are characterized either as coalgebras of certain types of comonads or morphisms between certain types of comonads. In each case, a lens is simulation between two transition systems for suitable notions of transition system and simulation.
| Original language | English |
|---|---|
| Pages (from-to) | 59-73 |
| Journal | CEUR Workshop Proceedings |
| Volume | 1827 |
| Publication status | Published - 2017 |
| Event | 6th International Workshop on Bidirectional Transformations, BX 2017 - Uppsala, Sweden Duration: 29 Apr 2017 → 29 Apr 2017 |
Bibliographical note
Publisher Copyright:Copyright © 2017 by the paper's authors.