The more legs the merrier: A new composition for symmetric (multi-)lenses

@inproceedings{Johnson2020TheML,
  title={The more legs the merrier: A new composition for symmetric (multi-)lenses},
  author={Michael Johnson and R. Rosebrugh},
  year={2020}
}
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 a multi-system business supply chain and illustrates the new mathematical content with analysis of the systems, showing how the new composition facilitates the engineering required to implement the interoperations. All of the concepts presented here are based on either pure category theory or on experience… Expand

Figures from this paper

References

SHOWING 1-10 OF 22 REFERENCES
A diagrammatic approach to symmetric lenses
Symmetric lenses
Symmetric delta lenses and spans of asymmetric delta lenses
Multicategories of Multiary Lenses
Cospans and symmetric lenses
Unifying Set-Based, Delta-Based and Edit-Based Lenses
Internal lenses as functors and cofunctors
Bidirectional Transformations
...
1
2
3
...