Faris Abou-Saleh, James Cheney, Jeremy Gibbons, James McKinna & Perdita Stevens (2018):
Introduction to Bidirectional Transformations.
In: Jeremy Gibbons & Perdita Stevens: Bidirectional Transformations,
Lecture Notes in Computer Science 9715,
pp. 1–28,
doi:10.1007/978-3-319-79108-1_1.
Danel Ahman & Tarmo Uustalu (2017):
Taking Updates Seriously.
In: Romina Eramo & Michael Johnson: Proceedings of the 6th International Workshop on Bidirectional Transformations,
CEUR Workshop Proceedings 1827,
pp. 59–73.
Available at https://ceur-ws.org/Vol-1827/paper11.pdf.
John Bourke & Richard Garner (2016):
Algebraic weak factorisation systems I: Accessible AWFS.
Journal of Pure and Applied Algebra 220(1),
doi:10.1016/j.jpaa.2015.06.002.
John Bourke & Richard Garner (2016):
Algebraic weak factorisation systems II: Categories of weak maps.
Journal of Pure and Applied Algebra 220(1),
doi:10.1016/j.jpaa.2015.06.003.
Emma Chollet, Bryce Clarke, Michael Johnson, Maurine Songa, Vincent Wang & Gioele Zardini (2022):
Limits and Colimits in a Category of Lenses.
In: Kohei Kishida: Proceedings of the Fourth International Conference on Applied Category Theory,
Electronic Proceedings in Theoretical Computer Science 372,
pp. 164–177,
doi:10.4204/EPTCS.372.12.
Bryce Clarke (2020):
Internal lenses as functors and cofunctors.
In: John Baez & Bob Coecke: Proceedings Applied Category Theory 2019,
Electronic Proceedings in Theoretical Computer Science 323,
pp. 183–195,
doi:10.4204/EPTCS.323.13.
Bryce Clarke (2021):
Delta Lenses as Coalgebras for a Comonad.
In: Leen Lambers & Meng Wang: 9th International Workshop on Bidirectional Transformations,
CEUR Workshop Proceedings 2999,
pp. 18–27.
Available at https://ceur-ws.org/Vol-2999/bxpaper2.pdf.
Bryce Clarke (2021):
A diagrammatic approach to symmetric lenses.
In: David I. Spivak & Jamie Vicary: Proceedings of the 3rd Annual International Applied Category Theory Conference 2020,
Electronic Proceedings in Theoretical Computer Science 333,
pp. 79–91,
doi:10.4204/EPTCS.333.6.
Bryce Clarke (2022):
The double category of lenses.
Macquarie University,
doi:10.25949/22045073.v1.
Bryce Clarke & Matthew Di Meglio (2022):
An introduction to enriched cofunctors.
ArXiv:2209.01144.
Krzysztof Czarnecki, J. Nathan Foster, Zhenjiang Hu, Ralf Lämmel, Andy Schürr & James F. Terwilliger (2009):
Bidirectional Transformations: A Cross-Discipline Perspective.
In: Richard F. Paige: Theory and Practice of Model Transformations,
Lecture Notes in Computer Science 5563,
pp. 260–283,
doi:10.1007/978-3-642-02408-5_19.
Matthew Di Meglio (2021):
The category of asymmetric lenses and its proxy pullbacks.
Macquarie University,
doi:10.25949/20236449.v1.
Matthew Di Meglio (2022):
Coequalisers under the Lens.
In: Kohei Kishida: Proceedings of the Fourth International Conference on Applied Category Theory,
Electronic Proceedings in Theoretical Computer Science 372,
pp. 149–163,
doi:10.4204/EPTCS.372.11.
Zinovy Diskin & Tom Maibaum (2012):
Category Theory and Model-Driven Engineering: From Formal Semantics to Design Patterns and Beyond.
In: Ulrike Golas & Thomas Soboll: Proceedings Seventh ACCAT Workshop on Applied and Computational Category Theory,
Electronic Proceedings in Theoretical Computer Science 93,
pp. 1–21,
doi:10.4204/EPTCS.93.1.
Zinovy Diskin, Yingfei Xiong & Krzysztof Czarnecki (2011):
From State- to Delta-Based Bidirectional Model Transformations: the Asymmetric Case.
Journal of Object Technology 10(6),
doi:10.5381/jot.2011.10.1.a6.
William G. Dwyer, Philip S. Hirschhorn, Daniel M. Kan & Jeffrey H. Smith (2004):
Homotopy Limit Functors on Model Categories and Homotopical Categories.
Mathematical Surveys and Monographs 113.
American Mathematical Society,
doi:10.1090/surv/113.
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.
P.J. Freyd & G.M. Kelly (1972):
Categories of continuous functors I.
Journal of Pure and Applied Algebra 2(3),
doi:10.1016/0022-4049(72)90001-1.
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),
doi:10.1017/S0305004100071760.
Michael Johnson & Robert Rosebrugh (2013):
Delta Lenses and Opfibrations.
In: Perdita Stevens & James F. Terwilliger: Proceedings of the Second International Workshop on Bidirectional Transformations,
Electronic Communications of the EASST 57,
pp. 1–18,
doi:10.14279/tuj.eceasst.57.875.
Michael Johnson & Robert Rosebrugh (2016):
Unifying Set-Based, Delta-Based and Edit-Based Lenses.
In: Anthony Anjorin & Jeremy Gibbons: Proceedings of the Fifth International Workshop on Bidirectional Transformations,
CEUR Workshop Proceedings 1571,
pp. 1–13.
Available at https://ceur-ws.org/Vol-1571/paper_13.pdf.
Michael Johnson, Robert Rosebrugh & R. J. Wood (2012):
Lenses, fibrations and universal translations.
Mathematical Structures in Computer Science 22(1),
doi:10.1017/S0960129511000442.
Michael Johnson, Robert Rosebrugh & Richard Wood (2010):
Algebras and Update Strategies.
Journal of Universal Computer Science 16(5),
doi:10.3217/jucs-016-05-0729.
Paolo Perrone (2021):
Lifting couplings in Wasserstein spaces.
ArXiv:2110.06591.
Alberto Rodrigues da Silva (2015):
Model-driven engineering: A survey supported by the unified conceptual model.
Computer Languages, Systems & Structures 43,
doi:10.1016/j.cl.2015.06.001.
Ross Street (1974):
Fibrations and Yoneda's lemma in a 2-category.
In: G. M. Kelly: Category Seminar,
Lecture Notes in Mathematics 420,
pp. 104–133,
doi:10.1007/BFb0063102.
Ross Street & R. F. C. Walters (1973):
The comprehensive factorization of a functor.
Bulletin of the American Mathematical Society 79(5),
doi:10.1090/S0002-9904-1973-13268-9.
eptcs@eptcs.org