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

@inproceedings{Wilson2020TheSO, title={The Safari of Update Structures: Visiting the Lens and Quantum Enclosures}, author={M. Wilson and James Hefford and G. Boisseau and Vincent Wang}, booktitle={ACT}, year={2020} }

We build upon our recently introduced concept of an update structure to show that they are 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. We then begin to investigate the zoo of possible update structures. We show that update structures survive decoherence and are sufficiently general to capture quantum observables, pinpointing the additional assumptions required to make the two… Expand

#### Topics from this paper

#### One Citation

#### References

SHOWING 1-10 OF 19 REFERENCES

Meaning updating of density matrices. arXiv preprint arXiv:2001.00862 [quant-ph

- Meichanetzidis
- 2020

Picturing Quantum Processes, 1 edition

- 2017

Picturing Quantum Processes: A First Course in Quantum Theory and Diagrammatic Reasoning

- Mathematics, Computer Science
- 2017