The more legs the merrier: A newcomposition for symmetric (multi-)lenses
Michael Johnson CoACT, Departments of Mathematics and Computing Macquarie University michael.johnson@mq.edu.au Robert Rosebrugh Department of Mathematics and Computer Science Mount Allison University rrosebrugh@mta.ca
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.