arxiv: Mathematics::Category Theory | Computer Science::Logic in Computer Science | Mathematics::Logic
We consider categorical logic on the category of Hilbert spaces. More generally, in fact, any pre-Hilbert category suffices. We characterise closed subobjects, and prove that they form orthomodular lattices. This shows that quantum logic is just an incarnation of catego...
[Abr] Samson Abramsky. Temperley-lieb algebra: From knot theory to logic and computation via quantum mechanics. In Goong Chen, Louis Kauffman, and Sam Lomonaco, editors, Mathematics of Quantum Computing and Technology, pages 415-458. Taylor and Francis, 2007.
[Bir] Garrett Birkhoff. Lattice Theory. American Mathematical Society, 1948.
[Bor] Francis Borceux. Handbook of Categorical Algebra 1: Basic Category Theory. Encyclopedia of Mathematics and its Applications 50. Cambridge University Press, 1994.
[But] Carsten Butz. Regular categories and regular logic. BRICS Lecture Series LS-98-2, 1998.
[BV] Garrett Birkhoff and John Von Neumann. The logic of quantum mechanics. Annals of Mathematics, 37:823-843, 1936.
[Dun] Ross Duncan. Types for Quantum Computing. PhD thesis, Oxford University Computer Laboratory, 2006.
[Har] John Harding. Orthomodularity in dagger biproduct categories. submitted to International Journal of Theoretical Physics, 2008.
[Heu] Chris Heunen. An embedding theorem for Hilbert categories. submitted to Theory and Applications of Categories, 2008.
[Jac] B. Jacobs. Categorical Logic and Type Theory. Number 141 in Studies in Logic and the Foundations of Mathematics. North Holland, 1999.
[LS] Joachim Lambek and Phil Scott. Introduction to higher order categorical logic. Cambridge University Press, 1986.