Fetching the paper…

Reading the bibliography…

2018

Limits of bimorphic lenses

Hedges, Jules

Original
PDF
Post on X

Understand

Bimorphic lenses are a simplification of polymorphic lenses that (like polymorphic lenses) have a type defined by 4 parameters, but which are defined in a monomorphic type system (i.e.

an ordinary category with finite products).
We show that the category of bimorphic lenses is complete when the base category is complete, cocomplete and cartesian closed, and so symmetric bimorphic lenses can be defined as spans of ordinary bimorphic lenses.
This is in contrast to monomorphic lenses, which do not have pullbacks, and for which the category of spans can be defined in an ad-hoc way only when the lenses satisfy a certain axiom (the put-get law).

Limits of bimorphic lenses · Around

Built on

The dialectica categories
Valeria de Paiva · 1991
Earlier work this paper cites.
Categorical logic and type theory
Bart Jacobs · 1999
Earlier work this paper cites.
Combinators for bi-directional tree transformations: A linguistic approach to the view update problem
Nate Foster, Michael Greenwald, Jonathan Moore, Benjamin Pierce, and Alan Schmitt · 2007
Earlier work this paper cites.
Symmetric lenses
Martin Hofmann, Benjamin Pierce, and Daniel Wagner · 2011
Earlier work this paper cites.

Similar

Mirrored lenses
Edward Kmett · 2012
Cited alongside, same era.
Spans of lenses
Michael Johnson and Robert Rosebrugh · 2014
Cited alongside, same era.
Coherence for lenses and open games
Original
Jules Hedges · 2017
Cited alongside, same era.

Then

Profunctor optics: Modular data accessors
Original
Matthew Pickering, Jeremy Gibbons, and Nicolas Wu · 2017
Later among the works it cites.
What you need to know about Yoneda: profunctor optics and the Yoneda lemma (functional pearl)
Guillaume Boisseau and Jeremy Gibbons · 2018
Closest in time.
Morphisms of open games
Original
Jules Hedges · 2018
Closest in time.

Beyond the bibliography

alphaXiv searches the wider corpus for related work and actual follow-ups.

Open on alphaXiv

alphaXiv is searching for related work…