Quantum Theory
Contents
Categorical Quantum Theory
a, b : C (states/systems/objects), f, g : a →C b (processes/morphisms)
a = ai, j ei × ej. fa : H* × H → C ⊢ fa
Quantum algebra
Quantum Group
Quantum Field Theory
Quantum Phase Transition
References
- Alexei Kitaev. Topological Quantum Phases. 2019.
- Chris Heunen, Jamie Vicary. Categories for Quantum Theory: An Introduction. 2019.
- Urs Schreiber. Modern Physics Formalized in Modal Homotopy Type Theory. 2016.
- Urs Schreiber, Michael Shulman. Quantum Gauge Field Theory in Cohesive Homotopy Type Theory. 2014.