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
Categories of Semantic Concepts

References

SHOWING 1-10 OF 19 REFERENCES
Quantum measurements without sums
Categories of Semantic Concepts
Categories for Quantum Theory: An Introduction
Meaning updating of density matrices
Meaning updating of density matrices. arXiv preprint arXiv:2001.00862 [quant-ph
  • Meichanetzidis
  • 2020
The Mathematics of Text Structure
  • B. Coecke
  • Computer Science, Mathematics
  • ArXiv
  • 2019
Categories of Optics
Picturing Quantum Processes, 1 edition
  • 2017
Two Roads to Classicality
...
1
2
...