References

  1. Marcelo Aguiar (1997): Internal Categories and Quantum Groups. Cornell University. Available at http://pi.math.cornell.edu/~maguiar/thesis2.pdf.
  2. Danel Ahman & Tarmo Uustalu (2017): Taking Updates Seriously. In: Proceedings of the Sixth International Workshop on Bidirectional Transformations. Available at http://ceur-ws.org/Vol-1827/paper11.pdf.
  3. Bryce Clarke (2020): Internal lenses as functors and cofunctors. In: Applied Category Theory 2019, Electronic Proceedings in Theoretical Computer Science. (to appear).
  4. Bryce Clarke (2020): Internal split opfibrations and cofunctors. Available at https://arxiv.org/abs/2004.00187.
  5. Zinovy Diskin, Yingfei Xiong & Krzysztof Czarnecki (2011): From State- to Delta-Based Bidirectional Model Transformations: The Asymmetric Case. Journal of Object Technology, doi:10.5381/jot.2011.10.1.a6.
  6. Zinovy Diskin, Yingfei Xiong, Krzysztof Czarnecki, Hartmut Ehrig, Frank Hermann & Fernando Orejas (2011): From State- to Delta-Based Bidirectional Model Transformations: The Symmetric Case. In: Model Driven Engineering Languages and Systems, doi:10.1007/978-3-642-24485-8_22.
  7. J. Nathan Foster, Michael B. Greenwald, Jonathan T. Moore, Benjamin C. Pierce & Alan Schmitt (2007): Combinators for Bidirectional Tree Transformations: A Linguistic Approach to the View-Update Problem. ACM Transactions on Programming Languages and Systems, doi:10.1145/1232420.1232424.
  8. Philip J. Higgins & Kirill C. H. Mackenzie (1993): Duality for base-changing morphisms of vector bundles, modules, Lie algebroids and Poisson structures. Mathematical Proceedings of the Cambridge Philosophical Society, doi:10.1017/S0305004100071760.
  9. Martin Hofmann, Benjamin Pierce & Daniel Wagner (2011): Symmetric Lenses. ACM SIGPLAN Notices, doi:10.1145/1925844.1926428.
  10. Michael Johnson & François Renaud (2019): Symmetric c-Lenses and Symmetric d-Lenses are Not Coextensive. In: Proceedings of the 8th International Workshop on Bidirectional Transformations. Available at http://ceur-ws.org/Vol-2355/paper7.pdf.
  11. Michael Johnson & Robert Rosebrugh (2013): Delta Lenses and Opfibrations. In: Proceedings of the Second International Workshop on Bidirectional Transformations, doi:10.14279/tuj.eceasst.57.875.
  12. Michael Johnson & Robert Rosebrugh (2014): Spans of lenses. In: Proceedings of the Workshops of the EDBT/ICDT 2014 Joint Conference. Available at http://ceur-ws.org/Vol-1133/paper-18.pdf.
  13. Michael Johnson & Robert Rosebrugh (2015): Spans of Delta Lenses. In: Proceedings of the Fourth International Workshop on Bidirectional Transformations. Available at http://ceur-ws.org/Vol-1396/p1-johnson.pdf.
  14. Michael Johnson & Robert Rosebrugh (2016): Unifying Set-Based, Delta-Based and Edit-Based Lenses. In: Proceedings of the Fifth International Workshop on Bidirectional Transformations. Available at http://ceur-ws.org/Vol-1571/paper_13.pdf.
  15. Michael Johnson & Robert Rosebrugh (2017): Symmetric delta lenses and spans of asymmetric delta lenses. Journal of Object Technology, doi:10.5381/jot.2017.16.1.a2.
  16. Michael Johnson & Robert Rosebrugh (2017): Universal Updates for Symmetric Lenses. In: Proceedings of the Sixth International Workshop on Bidirectional Transformations. Available at http://ceur-ws.org/Vol-1827/paper8.pdf.
  17. Stephen Lack & Ross Street (2002): The formal theory of monads II. Journal of Pure and Applied Algebra, doi:10.1016/0022-4049(72)90019-9.
  18. Robert Paré (2012): Mealy Morphisms of Enriched Categories. Applied Categorical Structures, doi:10.1007/s10485-010-9238-8.
  19. Ross Street (2020): Polynomials as spans. Cahiers de Topologie et Géométrie Différentielle Catégoriques LXI(2), pp. 113–153.

Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org