Fetching the paper…
Reading the bibliography…
Optics are bidirectional accessors of data structures; they provide a powerful abstraction of many common data transformations.
The use of multiple measurements in taxonomic problems
Ronald A Fisher · 1936
Earlier work this paper cites.
Nearest neighbor pattern classification
Thomas M Cover, Peter Hart, et al · 1967
Earlier work this paper cites.
Categories for the working mathematician
Saunders Mac Lane · 1971
Earlier work this paper cites.
The formal theory of monads
Ross Street · 1972
Earlier work this paper cites.
A unified treatment of transfinite constructions for free algebras, free monoids, colimits, associated sheaves, and so on
G Max Kelly · 1980
Earlier work this paper cites.
A Category-theoretic Approach to the Semantics of Programming Languages
Frank Joseph Oles · 1982
Earlier work this paper cites.
Handbook of logic in computer science (vol. 3)
Samson Abramsky and Achim Jung · 1994
Earlier work this paper cites.
Shapely types and shape polymorphism
C Barry Jay and J Robin B Cockett · 1994
Earlier work this paper cites.
Monads and algebras - An introduction
Uday S Reddy · 1995
Earlier work this paper cites.
Avoiding the axiom of choice in general category theory
Michael Makkai · 1996
Earlier work this paper cites.
Combinatorial species and tree-like structures
François Bergeron, Gilbert Labelle, and Pierre Leroux · 1997
Earlier work this paper cites.
Nested datatypes
Richard Bird and Lambert Meertens · 1998
Earlier work this paper cites.
A higher-order calculus for categories
Mario Cáccamo and Glynn Winskel · 2001
Earlier work this paper cites.
Combinatorial species and labelled structures
Brent Yorgey · 2001
Earlier work this paper cites.
Distributors on a tensor category
Daisuke Tambara · 2006
Earlier work this paper cites.
Applicative programming with effects
Conor McBride and Ross Paterson · 2008
Cited alongside, same era.
Dependently Typed Programming in Agda
Ulf Norell · 2008
Cited alongside, same era.
Doubles for monoidal categories
Craig Pastro and Ross Street · 2008
Cited alongside, same era.
The essence of the Iterator pattern
Jeremy Gibbons and Bruno C. d. S. Oliveira · 2009
Cited alongside, same era.
Notes on polynomial functors
Joachim Kock · 2009
Cited alongside, same era.
Coend computation
Tom Leinster ( https://mathoverflow.net/users/586/tom-leinster ) · 2010
Cited alongside, same era.
Coproducts of monads on set
Jirí Adámek, Stefan Milius, Nathan Bowler, and Paul B Levy · 2012
Cited alongside, same era.
Profunctor optics: the categorical view
Bartosz Milewski · 2017
Later among the works it cites.
Profunctor optics: Modular data accessors
Matthew Pickering, Jeremy Gibbons, and Nicolas Wu · 2017
Later among the works it cites.
Category theory in context
Emily Riehl · 2017
Later among the works it cites.
Notions of computation as monoids
Exequiel Rivas and Mauro Jaskelioff · 2017
Later among the works it cites.
What you needa know about Yoneda: Profunctor optics and the Yoneda Lemma (functional pearl)
Guillaume Boisseau and Jeremy Gibbons · 2018
Later among the works it cites.
Compositional game theory
Neil Ghani, Jules Hedges, Viktor Winschel, and Philipp Zahn · 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…
An investigation of the laws of traversals
Mauro Jaskelioff and Ondrej Rypacek · 2012
Cited alongside, same era.
Category theory using string diagrams
Dan Marsden · 2014
Cited alongside, same era.
Constructivism in mathematics
Anne Sjerp Troelstra and Dirk Van Dalen · 2014
Cited alongside, same era.
A representation theorem for second-order functionals
Mauro Jaskelioff and Russell O’Connor · 2015
Cited alongside, same era.
This is the (co)end, my only (co)friend
Fosco Loregian · 2015
Cited alongside, same era.
Jules Hedges · 2018
Later among the works it cites.
lens library, version 4.16
Edward Kmett · 2018
Later among the works it cites.
HomePage
nLab authors · 2018
Later among the works it cites.
Mitchell Riley · 2018
Later among the works it cites.
Brendan Fong and Michael Johnson · 2019
Later among the works it cites.
purescript-profunctor-lenses
Thomas Honeyman, Phil Freeman, Brian Marick, Lukas Heidemann, Christoph Hegemann, and Liam Goodacre · 2019
Later among the works it cites.
Personal communication, 25th July 2019
David Jaz Myers · 2019
Later among the works it cites.
Generalized lens categories via functors 𝒞 op → 𝖢𝖺𝗍 \mathcal{C}^{\mathrm{op}}\to\mathsf{Cat}
David I Spivak · 2019
Later among the works it cites.