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 6th International Workshop on Bidirectional Transformations, CEUR Workshop Proceedings 1827, pp. 59–73. Available at http://ceur-ws.org/Vol-1827/paper11.pdf.
  3. F. Bancilhon & N. Spyratos (1981): Update Semantics of Relational Views. ACM Transactions on Database Systems 6(4), pp. 557–575, doi:10.1145/319628.319634.
  4. Francis Borceux (1994): Handbook of Categorical Algebra. Encyclopedia of Mathematics and its Applications. Cambridge University Press, Cambridge, doi:10.1017/CBO9780511525858.
  5. Bryce Clarke (2018): Characterising Asymmetric Lenses using Internal Categories. Macquarie University. Available at http://hdl.handle.net/1959.14/1268984.
  6. Zinovy Diskin (2017): Compositionality of Update Propagation: Laxed PutPut. In: Proceedings of the 6th International Workshop on Bidirectional Transformations, CEUR Workshop Proceedings 1827, pp. 74–89. Available at http://ceur-ws.org/Vol-1827/paper12.pdf.
  7. Zinovy Diskin, Yingfei Xiong & Krzysztof Czarnecki (2011): From State- to Delta-Based Bidirectional Model Transformations: the Asymmetric Case. Journal of Object Technology 10, pp. 6:1–25, doi:10.5381/jot.2011.10.1.a6.
  8. 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 29(3), doi:10.1145/1232420.1232424.
  9. Jeremy Gibbons & Michael Johnson (2012): Relating Algebraic and Coalgebraic Descriptions of Lenses. In: Proceedings of the 1st International Workshop on Bidirectional Transformations, Electronic Communications of the EASST 49, doi:10.14279/tuj.eceasst.49.726.
  10. 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 114(3), pp. 471–488, doi:10.1017/S0305004100071760.
  11. Martin Hofmann, Benjamin Pierce & Daniel Wagner (2011): Symmetric Lenses. SIGPLAN Not. 46(1), doi:10.1145/1925844.1926428.
  12. Michael Johnson & Robert Rosebrugh (2013): Delta Lenses and Opfibrations. Electronic Communications of the EASST 57, doi:10.14279/tuj.eceasst.57.875.
  13. Michael Johnson & Robert Rosebrugh (2016): Unifying Set-Based, Delta-Based and Edit-Based Lenses. In: Proceedings of the 5th International Workshop on Bidirectional Transformations, CEUR Workshop Proceedings 1571, pp. 1–13. Available at http://ceur-ws.org/Vol-1571/paper_13.pdf.
  14. Michael Johnson, Robert Rosebrugh & Richard Wood (2010): Algebras and Update Strategies. Journal of Universal Computer Science 16(5), pp. 729–748, doi:10.3217/jucs-016-05-0729.
  15. Michael Johnson, Robert Rosebrugh & Richard Wood (2012): Lenses, Fibrations and Universal Translations. Mathematical Structures in Computer Science 22(1), pp. 25–42, doi:10.1017/S0960129511000442.
  16. Peter T Johnstone (2002): Sketches of an Elephant: A Topos Theory Compendium. Oxford University Press.
  17. Saunders Mac Lane (1998): Categories for the Working Mathematician, 2nd edition, Graduate Texts in Mathematics 5. Springer-Verlag, New York, doi:10.1007/978-1-4757-4721-8.
  18. Ross Street (1974): Fibrations and Yoneda's lemma in a 2-category. In: Category Seminar, Lecture Notes in Mathematics 420. Springer, pp. 104–133, doi:10.1007/BFb0063102.
Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org