Marcelo Aguiar
1997
Internal Categories and Quantum Groups
Cornell University
http://pi.math.cornell.edu/~maguiar/thesis2.pdf
Danel Ahman
Tarmo Uustalu
2017
Taking Updates Seriously
Proceedings of the Sixth International Workshop on Bidirectional Transformations
http://ceur-ws.org/Vol-1827/paper11.pdf
Bryce Clarke
2020
Internal lenses as functors and cofunctors
Applied Category Theory 2019
Electronic Proceedings in Theoretical Computer Science
(to appear)
Bryce Clarke
2020
Internal split opfibrations and cofunctors
https://arxiv.org/abs/2004.00187
Zinovy Diskin
Yingfei Xiong
Krzysztof Czarnecki
2011
From State- to Delta-Based Bidirectional Model Transformations: The Asymmetric Case
Journal of Object Technology
10.5381/jot.2011.10.1.a6
Zinovy Diskin
Yingfei Xiong
Krzysztof Czarnecki
Hartmut Ehrig
Frank Hermann
Fernando Orejas
2011
From State- to Delta-Based Bidirectional Model Transformations: The Symmetric Case
Model Driven Engineering Languages and Systems
10.1007/978-3-642-24485-8_22
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
10.1145/1232420.1232424
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
10.1017/S0305004100071760
Martin Hofmann
Benjamin Pierce
Daniel Wagner
2011
Symmetric Lenses
ACM SIGPLAN Notices
10.1145/1925844.1926428
Michael Johnson
François Renaud
2019
Symmetric c-Lenses and Symmetric d-Lenses are Not Coextensive
Proceedings of the 8th International Workshop on Bidirectional Transformations
http://ceur-ws.org/Vol-2355/paper7.pdf
Michael Johnson
Robert Rosebrugh
2013
Delta Lenses and Opfibrations
Proceedings of the Second International Workshop on Bidirectional Transformations
10.14279/tuj.eceasst.57.875
Michael Johnson
Robert Rosebrugh
2014
Spans of lenses
Proceedings of the Workshops of the EDBT/ICDT 2014 Joint Conference
http://ceur-ws.org/Vol-1133/paper-18.pdf
Michael Johnson
Robert Rosebrugh
2015
Spans of Delta Lenses
Proceedings of the Fourth International Workshop on Bidirectional Transformations
http://ceur-ws.org/Vol-1396/p1-johnson.pdf
Michael Johnson
Robert Rosebrugh
2016
Unifying Set-Based, Delta-Based and Edit-Based Lenses
Proceedings of the Fifth International Workshop on Bidirectional Transformations
http://ceur-ws.org/Vol-1571/paper_13.pdf
Michael Johnson
Robert Rosebrugh
2017
Symmetric delta lenses and spans of asymmetric delta lenses
Journal of Object Technology
10.5381/jot.2017.16.1.a2
Michael Johnson
Robert Rosebrugh
2017
Universal Updates for Symmetric Lenses
Proceedings of the Sixth International Workshop on Bidirectional Transformations
http://ceur-ws.org/Vol-1827/paper8.pdf
Stephen Lack
Ross Street
2002
The formal theory of monads II
Journal of Pure and Applied Algebra
10.1016/0022-4049(72)90019-9
Robert Paré
2012
Mealy Morphisms of Enriched Categories
Applied Categorical Structures
10.1007/s10485-010-9238-8
Ross Street
2020
Polynomials as spans
Cahiers de Topologie et Géométrie Différentielle Catégoriques
LXI
2
113–153