The Safari of Update Structures: Visiting the Lens and Quantum Enclosures

Matthew Wilson, James Hefford, Guillaume Boisseau +1

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…