@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},
 booktitle    = {Proceedings of the 6\textsuperscript{th} International Workshop on Bidirectional Transformations},
 series       = {CEUR Workshop Proceedings},
 volume       = {1827},
 pages        = {59--73},
 url          = {http://ceur-ws.org/Vol-1827/paper11.pdf},
)
@article(BS81,
 author       = {F. Bancilhon and N. Spyratos},
 year         = {1981},
 title        = {Update Semantics of Relational Views},
 journal      = {ACM Transactions on Database Systems},
 volume       = {6},
 number       = {4},
 pages        = {557--575},
 doi          = {10.1145/319628.319634},
)
@book(Bor94,
 author       = {Francis Borceux},
 year         = {1994},
 title        = {Handbook of Categorical Algebra},
 series       = {Encyclopedia of Mathematics and its Applications},
 publisher    = {Cambridge University Press},
 address      = {Cambridge},
 doi          = {10.1017/CBO9780511525858},
)
@mastersthesis(Cla18,
 author       = {Bryce Clarke},
 year         = {2018},
 title        = {Characterising Asymmetric Lenses using Internal Categories},
 school       = {Macquarie University},
 url          = {http://hdl.handle.net/1959.14/1268984},
)
@inproceedings(Dis17,
 author       = {Zinovy Diskin},
 year         = {2017},
 title        = {Compositionality of Update Propagation: Laxed PutPut},
 booktitle    = {Proceedings of the 6\textsuperscript{th} International Workshop on Bidirectional Transformations},
 series       = {CEUR Workshop Proceedings},
 volume       = {1827},
 pages        = {74--89},
 url          = {http://ceur-ws.org/Vol-1827/paper12.pdf},
)
@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},
 pages        = {6:1--25},
 doi          = {10.5381/jot.2011.10.1.a6},
)
@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},
)
@inproceedings(GJ12,
 author       = {Jeremy Gibbons and Michael Johnson},
 year         = {2012},
 title        = {Relating Algebraic and Coalgebraic Descriptions of Lenses},
 booktitle    = {Proceedings of the 1\textsuperscript{st} International Workshop on Bidirectional Transformations},
 series       = {Electronic Communications of the EASST},
 volume       = {49},
 doi          = {10.14279/tuj.eceasst.49.726},
)
@article(HM93,
 author       = {Philip J. Higgins and Kirill C. H. Mackenzie},
 year         = {1993},
 title        = {Duality for base-changing morphisms of vector bundles, modules, {L}ie algebroids and {P}oisson structures},
 journal      = {Mathematical Proceedings of the Cambridge Philosophical Society},
 volume       = {114},
 number       = {3},
 pages        = {471--488},
 doi          = {10.1017/S0305004100071760},
)
@article(HPW11,
 author       = {Martin Hofmann and Benjamin Pierce and Daniel Wagner},
 year         = {2011},
 title        = {Symmetric Lenses},
 journal      = {SIGPLAN Not.},
 volume       = {46},
 number       = {1},
 doi          = {10.1145/1925844.1926428},
)
@article(JR13,
 author       = {Michael Johnson and Robert Rosebrugh},
 year         = {2013},
 title        = {Delta Lenses and Opfibrations},
 journal      = {Electronic Communications of the EASST},
 volume       = {57},
 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},
 booktitle    = {Proceedings of the 5\textsuperscript{th} International Workshop on Bidirectional Transformations},
 series       = {CEUR Workshop Proceedings},
 volume       = {1571},
 pages        = {1--13},
 url          = {http://ceur-ws.org/Vol-1571/paper_13.pdf},
)
@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},
 pages        = {729--748},
 doi          = {10.3217/jucs-016-05-0729},
)
@article(JRW12,
 author       = {Michael Johnson and Robert Rosebrugh and Richard Wood},
 year         = {2012},
 title        = {Lenses, Fibrations and Universal Translations},
 journal      = {Mathematical Structures in Computer Science},
 volume       = {22},
 number       = {1},
 pages        = {25--42},
 doi          = {10.1017/S0960129511000442},
)
@book(Joh02,
 author       = {Peter T Johnstone},
 year         = {2002},
 title        = {Sketches of an Elephant: A Topos Theory Compendium},
 publisher    = {Oxford University Press},
)
@book(Mac98,
 author       = {Mac Lane, Saunders},
 year         = {1998},
 title        = {Categories for the Working Mathematician},
 edition      = {2nd},
 series       = {Graduate Texts in Mathematics},
 volume       = {5},
 publisher    = {Springer-Verlag},
 address      = {New York},
 doi          = {10.1007/978-1-4757-4721-8},
)
@inproceedings(Str74,
 author       = {Ross Street},
 year         = {1974},
 title        = {Fibrations and {Y}oneda's lemma in a 2-category},
 booktitle    = {Category Seminar},
 series       = {Lecture Notes in Mathematics 420},
 publisher    = {Springer},
 pages        = {104--133},
 doi          = {10.1007/BFb0063102},
)