Quantum Theory
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
- Topological Quantum Phases. Alexei Kitaev. 2019.
- Categories for Quantum Theory: An Introduction. Chris Heunen, Jamie Vicary. 2019.
- Modern Physics Formalized in Modal Homotopy Type Theory. Urs Schreiber. 2016.
- Quantum Gauge Field Theory in Cohesive Homotopy Type Theory. Urs Schreiber, Michael Shulman. 2014.