nLab Handbook of Quantum Logic and Quantum Structures


Quantum systems

quantum logic

quantum physics

quantum probability theoryobservables and states

quantum information

quantum computation


quantum algorithms:

quantum sensing

quantum communication

The page compiles pointers related to the book collection:

on quantum logic (mostly) and quantum systems.


On quantum protocols in quantum information theory (such as quantum teleportation) formalized as string diagrams in the dagger-compact category of finite-dimensional Hilbert spaces (finite quantum mechanics in terms of dagger-compact categories):


category: reference

Created on October 25, 2022 at 12:07:17. See the history of this page for a list of all contributions to it.