Symmetric delta lenses and spans of asymmetric delta lenses

@article{Johnson2017SymmetricDL,
  title={Symmetric delta lenses and spans of asymmetric delta lenses},
  author={Michael Johnson and R. Rosebrugh},
  journal={J. Object Technol.},
  year={2017},
  volume={16},
  pages={2:1-32}
}
Bidirectional Transformations provide mechanisms for maintaining synchronization between updatable data sources. Lenses are certain mathematically specified bidirectional transformations. As part of a project to unify the treatment of symmetric lenses (of various kinds) as equivalence classes of spans of asymmetric lenses (of corresponding kinds), we relate symmetric delta lenses with spans of asymmetric delta lenses. Because delta lenses are based on state spaces which are categories rather… Expand
Universal Updates for Symmetric Lenses
TLDR
This paper considers cospans of c-lenses and shows that they generate symmetric c- lenses with an appropriate universal property, which is further analysed and used to motivate proposed generalisations to obtain universal, least-change, properties for symmetric d-lense. Expand
A diagrammatic approach to symmetric lenses
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 symmetricExpand
Multicategories of Multiary Lenses
TLDR
A class of asymmetric amendment lenses called spg-lenses (stable putget lenses) is introduced which is more general than well-behaved amendment lenses, but is closed under composition, and it is shown how to use spg -lenses to capture a wide class of mutidirectional transformations which compose well and form a well-known and long-standing structure, a multicategory — a multicategories of multiary lenses. Expand
Lenses and Learners
TLDR
This paper shows both that there is a faithful, identity-on-objects symmetric monoidal functor embedding a category of asymmetric lenses into the category of learners, and furthermore there is such a functorEmbedding the categories of learners into a categories of symmetric lenses. Expand
Multiple model synchronization with multiary delta lenses with amendment and K-Putput
TLDR
This work makes a step to restore the balance and propose a notion of multiary delta lens, and emphasizes the importance of various ways of lens composition for practical applications of the framework, and proves several composition results. Expand
Multiple Model Synchronization with Multiary Delta Lenses
TLDR
This work makes a step to restore the balance and proposes a notion of multiary delta lens, which features reflective updates, when consistency restoration requires some amendment of the update that violated consistency. Expand
Cospans and symmetric lenses
TLDR
Those symmetric d-lenses which are representable as cospans of d- lenses which have unique corrs per pair of objects and satisfy two other technical conditions are characterized. Expand
Limits and colimits in a category of lenses
Lenses are an important tool in applied category theory. While individual lenses have been widely used in applications, many of the mathematical properties of the corresponding categories of lensesExpand
The more legs the merrier: A new composition for symmetric (multi-)lenses
This paper develops a new composition of symmetric lenses that preserves information which is important for implementing system interoperation. It includes a cut-down but realistic example of aExpand
Symmetric c-Lenses and Symmetric d-Lenses are Not Coextensive
This short paper addresses a long standing open question about symmetric lenses, with the result succinctly summarised by the paper’s title.
...
1
2
...

References

SHOWING 1-10 OF 25 REFERENCES
Spans of Delta Lenses
TLDR
The main result is an isomorphism of categories between a category whose morphisms are equivalence classes of symmetric delta lenses and the category of spans of delta lenses modulo the new equivalence. Expand
Spans of lenses
TLDR
These functors which exhibit a category whose arrows are spans of wellbehaved lenses as a retract of a categorywhose arrows are the corresponding symmetric lenses are related to the asymmetric lenses of Hofmann, Pierce and Wagner. Expand
Symmetric lenses
TLDR
It is shown how the methods of universal algebra can be applied to build iterator lenses for structured data such as lists and trees, yielding lenses for operations like mapping, filtering, and concatenation from first principles. Expand
Unifying Set-Based, Delta-Based and Edit-Based Lenses
TLDR
A substantial unication with concrete inter-conversions developed among the three main approaches to lenses in both their symmetric and asymmetric forms is provided. Expand
Symmetric Edit Lenses: A New Foundation for Bidirectional Languages
TLDR
This work constructs a semantic space of edit lenses between “editable structures”—monoids of edits with a partial monoid action for applying edits—with natural laws governing their behavior, and presents a new symmetric formulation which works with descriptions of changes to structures, rather than with the structures themselves. Expand
Relating Algebraic and Coalgebraic Descriptions of Lenses
TLDR
An equational proof of the coal algebra correspondence is presented, note that the algebra correspondence extends to arbitrary categories with products and that the coalgebra correspondence extended to arbitrary cartesian closed categories, and show that both correspondences extend to isomor- phisms of categories. Expand
Edit lenses
TLDR
This work identifies a simple notion of "editable structure"--a set of states plus a monoid of edits with a partial monoid action on the states--and construct a semantic space of lenses between such structures, with natural laws governing their behavior. Expand
Towards an Algebraic Theory of Bidirectional Transformations
TLDR
This paper presents early work on an algebraic presentation of bidirectional transformations, focusing on lenses which provide a particularly well-understood special case, in which one model is an abstraction of the other, and either the abstraction or the full model may be edited. Expand
Delta Lenses over Inductive Types
TLDR
This paper formalizes delta lenses over inductive types using dependent type theory and develops a point-free delta lens language with an explicit separation of shape and data. Expand
Towards an Algebraic Theory of Bidirectional Transformations
TLDR
This paper presents early work on an algebraic presentation of bidirectional transformations, focusing on lenses which provide a particularly well-understood special case, in which one model is an abstraction of the other, and either the abstraction or the full model may be edited. Expand
...
1
2
3
...