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

References

SHOWING 1-10 OF 11 REFERENCES
Symmetric lenses
Spans of Delta Lenses
Symmetric delta lenses and spans of asymmetric delta lenses
Multiple Model Synchronization with Multiary Delta Lenses
Unifying Set-Based, Delta-Based and Edit-Based Lenses
Lenses and Learners
Higher Operads, Higher Categories
Backprop as Functor: A compositional perspective on supervised learning
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
...