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 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 in solving business problems using applied category theory.

[1]  Nicolas Spyratos,et al.  Update semantics of relational views , 1981, TODS.

[2]  Hartmut Ehrig,et al.  From state- to delta-based bidirectional model transformations: the symmetric case , 2011, MODELS'11.

[3]  Tom Leinster.  Higher Operads, Higher Categories , 2003 .

[4]  R. F. C. Walters,et al.  Algebra objects and algebra families for finite limit theories , 1992 .

[5]  Bryce Clarke.  Internal lenses as functors and cofunctors , 2020, ACT.

[6]  Michael Johnson,et al.  Symmetric delta lenses and spans of asymmetric delta lenses , 2017, J. Object Technol..

[7]  Frank J. Oles,et al.  A category-theoretic approach to the semantics of programming languages , 1982 .

[8]  Krzysztof Czarnecki,et al.  From State- to Delta-Based Bidirectional Model Transformations: the Asymmetric Case , 2011, J. Object Technol..

[9]  Martin Hofmann,et al.  Symmetric lenses , 2011, POPL '11.

[10]  Michael Johnson,et al.  Confidentiality in the process of (model-driven) software development , 2018, Programming.

[11]  Michael Johnson,et al.  Unifying Set-Based, Delta-Based and Edit-Based Lenses , 2016, Bx@ETAPS.

[12]  Christopher N. G. Dampney,et al.  Half-Duplex Interoperations for Cooperating Information Systems , 2001 .

[13]  Michael Johnson,et al.  Cospans and symmetric lenses , 2018, Programming.

[14]  Benjamin Pierce,et al.  Lenses and View Update Translation , 2003 .

[15]  Robert D. Rosebrugh,et al.  Multicategories of Multiary Lenses , 2019, Bx@PLW.

[16]  Bryce Clarke,et al.  A diagrammatic approach to symmetric lenses , 2021, Electronic Proceedings in Theoretical Computer Science.

[17]  Michael Johnson,et al.  Fibrations and universal view updatability , 2007, Theor. Comput. Sci..

[18]  T. S. E. Maibaum,et al.  Category Theory and Model-Driven Engineering: From Formal Semantics to Design Patterns and Beyond , 2012, ACCAT.

[19]  Perdita Stevens,et al.  Bidirectional Transformations , 2018, Lecture Notes in Computer Science.

[20]  Zinovy Diskin,et al.  Multiple Model Synchronization with Multiary Delta Lenses , 2018, FASE.