@inproceedings(ACGMS18, author = {Abou-Saleh, Faris and James Cheney and Jeremy Gibbons and James McKinna and Perdita Stevens}, year = {2018}, title = {Introduction to Bidirectional Transformations}, editor = {Jeremy Gibbons and Perdita Stevens}, booktitle = {Bidirectional Transformations}, series = {Lecture Notes in Computer Science}, volume = {9715}, pages = {1--28}, doi = {10.1007/978-3-319-79108-1_1}, ) @phdthesis(Agu97, author = {Marcelo Aguiar}, year = {1997}, title = {Internal categories and quantum groups}, school = {Cornell University}, url = {http://pi.math.cornell.edu/~maguiar/thesis2.pdf}, ) @inproceedings(AU17, author = {Danel Ahman and Tarmo Uustalu}, year = {2017}, title = {Taking Updates Seriously}, editor = {Romina Eramo and Michael Johnson}, booktitle = {Proceedings of the 6th International Workshop on Bidirectional Transformations}, series = {CEUR Workshop Proceedings}, volume = {1827}, pages = {59--73}, url = {https://ceur-ws.org/Vol-1827/paper11.pdf}, ) @article(BG16, author = {John Bourke and Richard Garner}, year = {2016}, title = {Algebraic weak factorisation systems I: Accessible AWFS}, journal = {Journal of Pure and Applied Algebra}, volume = {220}, number = {1}, doi = {10.1016/j.jpaa.2015.06.002}, ) @article(BG16II, author = {John Bourke and Richard Garner}, year = {2016}, title = {Algebraic weak factorisation systems II: Categories of weak maps}, journal = {Journal of Pure and Applied Algebra}, volume = {220}, number = {1}, doi = {10.1016/j.jpaa.2015.06.003}, ) @inproceedings(CCJSWZ22, author = {Emma Chollet and Bryce Clarke and Michael Johnson and Maurine Songa and Vincent Wang and Gioele Zardini}, year = {2022}, title = {Limits and Colimits in a Category of Lenses}, editor = {Kohei Kishida}, booktitle = {Proceedings of the Fourth International Conference on Applied Category Theory}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {372}, pages = {164--177}, doi = {10.4204/EPTCS.372.12}, ) @inproceedings(Cla20, author = {Bryce Clarke}, year = {2020}, title = {Internal lenses as functors and cofunctors}, editor = {John Baez and Bob Coecke}, booktitle = {Proceedings Applied Category Theory 2019}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {323}, pages = {183--195}, doi = {10.4204/EPTCS.323.13}, ) @article(TAC, author = {Bryce Clarke}, year = {2020}, title = {Internal split opfibrations and cofunctors}, journal = {Theory and Applications of Categories}, volume = {35}, number = {44}, url = {http://www.tac.mta.ca/tac/volumes/35/44/35-44abs.html}, ) @inproceedings(Cla21, author = {Bryce Clarke}, year = {2021}, title = {Delta Lenses as Coalgebras for a Comonad}, editor = {Leen Lambers and Meng Wang}, booktitle = {9th International Workshop on Bidirectional Transformations}, series = {CEUR Workshop Proceedings}, volume = {2999}, pages = {18--27}, url = {https://ceur-ws.org/Vol-2999/bxpaper2.pdf}, ) @inproceedings(ACT2020, author = {Bryce Clarke}, year = {2021}, title = {A diagrammatic approach to symmetric lenses}, editor = {David I. Spivak and Jamie Vicary}, booktitle = {Proceedings of the 3rd Annual International Applied Category Theory Conference 2020}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {333}, pages = {79--91}, doi = {10.4204/EPTCS.333.6}, ) @phdthesis(Cla22, author = {Bryce Clarke}, year = {2022}, title = {The double category of lenses}, school = {Macquarie University}, doi = {10.25949/22045073.v1}, ) @misc(CDi22, author = {Bryce Clarke and {Di Meglio}, Matthew}, year = {2022}, title = {An introduction to enriched cofunctors}, eprint = {2209.01144}, ) @inproceedings(CFHLST09, author = {Krzysztof Czarnecki and J. Nathan Foster and Zhenjiang Hu and Ralf Lämmel and Andy Schürr and James F. Terwilliger}, year = {2009}, title = {Bidirectional Transformations: A Cross-Discipline Perspective}, editor = {Richard F. Paige}, booktitle = {Theory and Practice of Model Transformations}, series = {Lecture Notes in Computer Science}, volume = {5563}, pages = {260--283}, doi = {10.1007/978-3-642-02408-5_19}, ) @mastersthesis(DiM21, author = {{Di Meglio}, Matthew}, year = {2021}, title = {The category of asymmetric lenses and its proxy pullbacks}, school = {Macquarie University}, doi = {10.25949/20236449.v1}, ) @inproceedings(DiM22, author = {Di Meglio, Matthew}, year = {2022}, title = {Coequalisers under the Lens}, editor = {Kohei Kishida}, booktitle = {Proceedings of the Fourth International Conference on Applied Category Theory}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {372}, pages = {149--163}, doi = {10.4204/EPTCS.372.11}, ) @inproceedings(DM12, author = {Zinovy Diskin and Tom Maibaum}, year = {2012}, title = {Category Theory and Model-Driven Engineering: From Formal Semantics to Design Patterns and Beyond}, editor = {Ulrike Golas and Thomas Soboll}, booktitle = {Proceedings Seventh ACCAT Workshop on Applied and Computational Category Theory}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {93}, pages = {1--21}, doi = {10.4204/EPTCS.93.1}, ) @article(DXC11, author = {Zinovy Diskin and Yingfei Xiong and Krzysztof Czarnecki}, year = {2011}, title = {From State- to Delta-Based Bidirectional Model Transformations: the Asymmetric Case}, journal = {Journal of Object Technology}, volume = {10}, number = {6}, doi = {10.5381/jot.2011.10.1.a6}, ) @book(DHKS04, author = {William G. Dwyer and Philip S. Hirschhorn and Daniel M. Kan and Jeffrey H. Smith}, year = {2004}, title = {Homotopy Limit Functors on Model Categories and Homotopical Categories}, series = {Mathematical Surveys and Monographs}, volume = {113}, publisher = {American Mathematical Society}, doi = {10.1090/surv/113}, ) @article(FGMPS07, author = {J. Nathan Foster and Michael B. Greenwald and Jonathan T. Moore and Benjamin C. Pierce and Alan Schmitt}, year = {2007}, title = {Combinators for bidirectional tree transformations: A linguistic approach to the view-update problem}, journal = {ACM Transactions on Programming Languages and Systems}, volume = {29}, number = {3}, doi = {10.1145/1232420.1232424}, ) @article(FK72, author = {P.J. Freyd and G.M. Kelly}, year = {1972}, title = {Categories of continuous functors I}, journal = {Journal of Pure and Applied Algebra}, volume = {2}, number = {3}, doi = {10.1016/0022-4049(72)90001-1}, ) @article(GT06, author = {Marco Grandis and Walter Tholen}, year = {2006}, title = {Natural weak factorization systems}, journal = {Archivum mathematicum}, volume = {42}, number = {4}, url = {https://www.emis.de/journals/AM/06-4/tholen.pdf}, ) @article(HM93, author = {Philip J. Higgins and Kirill C. H. Mackenzie}, year = {1993}, title = {Duality for base-changing morphisms of vector bundles, modules, Lie algebroids and Poisson structures}, journal = {Mathematical Proceedings of the Cambridge Philosophical Society}, volume = {114}, number = {3}, doi = {10.1017/S0305004100071760}, ) @inproceedings(JR13, author = {Michael Johnson and Robert Rosebrugh}, year = {2013}, title = {Delta Lenses and Opfibrations}, editor = {Perdita Stevens and James F. Terwilliger}, booktitle = {Proceedings of the Second International Workshop on Bidirectional Transformations}, series = {Electronic Communications of the EASST}, volume = {57}, pages = {1--18}, doi = {10.14279/tuj.eceasst.57.875}, ) @inproceedings(JR16, author = {Michael Johnson and Robert Rosebrugh}, year = {2016}, title = {Unifying Set-Based, Delta-Based and Edit-Based Lenses}, editor = {Anthony Anjorin and Jeremy Gibbons}, booktitle = {Proceedings of the Fifth International Workshop on Bidirectional Transformations}, series = {CEUR Workshop Proceedings}, volume = {1571}, pages = {1--13}, url = {https://ceur-ws.org/Vol-1571/paper_13.pdf}, ) @article(JRW12, author = {Michael Johnson and Robert Rosebrugh and R. J. Wood}, year = {2012}, title = {Lenses, fibrations and universal translations}, journal = {Mathematical Structures in Computer Science}, volume = {22}, number = {1}, doi = {10.1017/S0960129511000442}, ) @article(JRW10, author = {Michael Johnson and Robert Rosebrugh and Richard Wood}, year = {2010}, title = {Algebras and Update Strategies}, journal = {Journal of Universal Computer Science}, volume = {16}, number = {5}, doi = {10.3217/jucs-016-05-0729}, ) @misc(Per21, author = {Paolo Perrone}, year = {2021}, title = {Lifting couplings in Wasserstein spaces}, eprint = {2110.06591}, ) @article(Sil15, author = {{Rodrigues da Silva}, Alberto}, year = {2015}, title = {Model-driven engineering: A survey supported by the unified conceptual model}, journal = {Computer Languages, Systems \& Structures}, volume = {43}, doi = {10.1016/j.cl.2015.06.001}, ) @inproceedings(Str74, author = {Ross Street}, year = {1974}, title = {Fibrations and Yoneda's lemma in a 2-category}, editor = {G. M. Kelly}, booktitle = {Category Seminar}, series = {Lecture Notes in Mathematics}, volume = {420}, pages = {104--133}, doi = {10.1007/BFb0063102}, ) @article(SV10, author = {Ross Street and Dominic Verity}, year = {2010}, title = {The comprehensive factorization and torsors}, journal = {Theory and Applications of Categories}, volume = {23}, number = {3}, url = {http://www.tac.mta.ca/tac/volumes/23/3/23-03abs.html}, ) @article(SW73, author = {Ross Street and R. F. C. Walters}, year = {1973}, title = {The comprehensive factorization of a functor}, journal = {Bulletin of the American Mathematical Society}, volume = {79}, number = {5}, doi = {10.1090/S0002-9904-1973-13268-9}, )