Corpus ID: 174798958

Multicategories of Multiary Lenses

@inproceedings{Johnson2019MulticategoriesOM,
  title={Multicategories of Multiary Lenses},
  author={Michael Johnson and R. Rosebrugh},
  booktitle={Bx@PLW},
  year={2019}
}
Recently lens-like definitions of multidirectional transformations have appeared [2], encompassing both a “propagation” form (in the style of [5]) and a “wide span” form (in the style of [6]). These “multiary lenses” raise a number of new challenges that are addressed in this paper. First, in common with classical symmetric lenses, they need to be studied modulo equivalence relations that factor out differences in hidden data and declare two lenses to be equivalent if their observable… 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
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

References

SHOWING 1-10 OF 11 REFERENCES
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
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
Symmetric delta lenses and spans of asymmetric 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
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
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
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
Higher Operads, Higher Categories
Part I. Background: 1. Classical categorical structures 2. Classical operads and multicategories 3. Notions of monoidal category Part II. Operads. 4. Generalized operads and multicategories: basicsExpand
Backprop as Functor: A compositional perspective on supervised learning
TLDR
A key contribution is the notion of request function, which provides a structural perspective on backpropagation, giving a broad generalisation of neural networks and linking it with structures from bidirectional programming and open games. Expand
Multicategories of multiary lenses
  • Proceedings of the 8th International Workshop on Bidirectional Transformations,
  • 2019
From State- to Delta-Based Bidirectional Model Transformations: the Asymmetric Case
...
1
2
...