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

zbMath1477.18007arXiv2101.10482MaRDI QIDQ5019663

Michael Johnson, Robert D. Rosebrugh

Publication date: 10 January 2022

Full work available at URL: https://arxiv.org/abs/2101.10482

Mathematics Subject Classification ID

Transportation, logistics and supply chain management (90B06) Categories of machines, automata (18B20)

Related Items

Notions of Bidirectional Computation and Entangled State Monads, Unnamed Item, Unnamed Item

Cites Work

• Unnamed Item
• Unnamed Item
• Algebra objects and algebra families for finite limit theories
• Bidirectional transformations. International summer school, Oxford, UK, July 25--29, 2016. Tutorial lectures
• Multiple model synchronization with multiary delta lenses
• Fibrations and universal view updatability
• Update semantics of relational views
• Symmetric lenses