Fetching the paper…
Reading the bibliography…
Lenses have a rich history and have recently received a great deal of attention from applied category theorists.
“Coalgebras and Cartesian categories”
Thomas Fox · 1976
Earlier work this paper cites.
“A Category-theoretic approach to the semantics of programming languages”, 1983
Frank Oles · 1983
Earlier work this paper cites.
“The dialectica categories”
Valeria de Paiva · 1989
Earlier work this paper cites.
“Relational lenses: a language for updatable views”
Aaron Bohannon, Benjamin Pierce and Jeffrey Vaughan · 2006
Earlier work this paper cites.
“Algebraic models for bidirectional model synchronization”
Zinovy Diskin · 2008
Earlier work this paper cites.
“Lenses, fibrations and universal translations”
Michael Johnson, Robert Rosebrugh and Richard Wood · 2012
Cited alongside, same era.
“On the Existence of an Orthogonal Factorization System on 1-Cob and 2-Cob”, 2015
Joseph Abadi · 2015
Cited alongside, same era.
“The steady states of coupled dynamical systems compose according to matrix arithmetic”, 2015
David. Spivak · 2015
Cited alongside, same era.
“Algebras of open dynamical systems on the operad of wiring diagrams”
Dmitry Vagner, David. Spivak and Eugene Lerman · 2015
Cited alongside, same era.
“Reflections on monadic lenses”
Faris Abou-Saleh et al · 2016
Cited alongside, same era.
“Dynamical systems and sheaves”
Patrick Schultz, David Spivak and Christina Vasilakopoulou · 2016
Later among the works it cites.
“Coherence for lenses and open games”, 2017
Jules Hedges · 2017
Later among the works it cites.
“Monoidal Grothendieck Construction”
Joe Moeller and Christina Vasilakopoulou · 2018
Later among the works it cites.
Mitchell Riley · 2018
Later among the works it cites.
alphaXiv searches the wider corpus for related work and actual follow-ups.
alphaXiv is searching for related work…