no code implementations • 11 May 2020 • Matthew Wilson, James Hefford, Guillaume Boisseau, Vincent Wang
We build upon our recently introduced concept of an update structure to show that it is a generalisation of very-well-behaved lenses, that is, there is a bijection between a strict subset of update structures and vwb lenses in cartesian categories.