Bennett and Stinespring, Together at Last
arXiv:2102.08711 · doi:10.4204/EPTCS.343.5
Abstract
We present a universal construction that relates reversible dynamics on open systems to arbitrary dynamics on closed systems: the restriction affine completion of a monoidal restriction category quotiented by well-pointedness. This categorical completion encompasses both quantum channels, via Stinespring dilation, and classical computing, via Bennett's method. Moreover, in these two cases, we show how our construction can be essentially 'undone' by a further universal construction. This shows how both mixed quantum theory and classical computation rest on entirely reversible foundations.
arXiv commentIn Proceedings QPL 2021, arXiv:2109.04886
References in corpus (5)
- Restriction categories III: colimits, partial limits, and extensivity
- A categorical foundation for structured reversible flowchart languages: Soundness and adequacy
- Paschke Dilations
- Universal Properties in Quantum Theory
- The ZX&-calculus: A complete graphical calculus for classical circuits using spiders