Cospans and symmetric lenses

@article{Johnson2018CospansAS,
  title={Cospans and symmetric lenses},
  author={Michael Johnson and R. Rosebrugh},
  journal={Conference Companion of the 2nd International Conference on Art, Science, and Engineering of Programming},
  year={2018}
}
  • Michael Johnson, R. Rosebrugh
  • Published 2018
  • Computer Science, Physics
  • Conference Companion of the 2nd International Conference on Art, Science, and Engineering of Programming
We characterize those symmetric d-lenses which are representable as cospans of d-lenses. Such a symmetric d-lens must have unique corrs per pair of objects and satisfy two other technical conditions. When the d-lens is also ``least change'' then the corresponding cospan consists of c-lenses. 
The more legs the merrier: A new composition for symmetric (multi-)lenses
Multiple model synchronization with multiary delta lenses with amendment and K-Putput
Is Bidirectionality Important?
Towards Bidirectional Synchronization Between Communicating Processes and Session Types
Confidentiality in the process of (model-driven) software development