F. Borceux (1994):
Handbook of Categorical Algebra.
Encyclopedia of Mathematics 50, 51 and 52.
Cambridge Univ. Press,
doi:10.1017/CBO9780511525858.
P. Busch & J. Singh (1998):
Lüders theorem for unsharp quantum measurements.
Phys. Letters A 249,
pp. 10–12,
doi:10.1016/S0375-9601(98)00704-X.
A. Carboni, S. Lack & R. F. C. Walters (1993):
Introduction to extensive and distributive categories.
Journal of Pure and Applied Algebra 84(2),
pp. 145–158,
doi:10.1016/0022-4049(93)90035-R.
K. Cho (2015):
Total and Partial Computation in Categorical Quantum Foundations.
In: QPL 2015.
To appear.
R. Cignoli, I. D'Ottaviano & D. Mundici (2000):
Algebraic foundations of many-valued reasoning.
Trends in Logic 7.
Springer,
doi:10.1007/978-94-015-9480-6.
R. Furber & B. Jacobs (2013):
From Kleisli categories to commutative C^*-algebras: Probabilistic Gelfand duality.
In: Algebra and Coalgebra in Computer Science.
Springer,
pp. 141–157,
doi:10.1007/978-3-642-40206-7_12.
M. Grandis (2012):
Homological Algebra: The Interplay of Homology with Distributive Lattices and Orthodox Semigroups.
World Scientific,
Singapore,
doi:10.1142/8483.
S. Gudder & G. Nagy (2001):
Sequential quantum measurements.
Journal of Mathematical Physics 42,
pp. 5212–5222,
doi:10.1063/1.1407837.
P. Halmos (1957):
Introduction to Hilbert space and the theory of spectral multiplicity.
Chelsea New York.
B. Jacobs (1999):
Categorical logic and type theory.
North Holland,
Amsterdam.
B. Jacobs (2013):
Measurable spaces and their effect logic.
In: Logic in Computer Science.
IEEE.
Computer Science Press,
doi:10.1109/LICS.2013.13.
B. Jacobs (2015):
New directions in categorical logic, for classical, probabilistic and quantum Logic.
Logical Methods in Computer Science.
To appear. .11emplus.33emminus.07emarXiv:1205.3940v4 [math.LO].
Z. Janelidze (2014):
On the Form of Subobjects in Semi-Abelian and Regular Protomodular Categories.
Appl. Categorical Struct. 22(5–6),
pp. 755–766,
doi:10.1007/s10485-013-9355-2.
P. Johnstone (1982):
Stone spaces.
Cambridge Studies in Advanced Mathematics 3.
Cambridge Univ. Press.
F. J. Murray & J. v. Neumann (1936):
On rings of operators.
Annals of Mathematics,
pp. 116–229,
doi:10.2307/1968693.
M. A. Nielsen & I. L. Chuang (2010):
Quantum computation and quantum information.
Cambridge university press,
doi:10.1017/CBO9780511976667.
A. D. Nola & I. Leuştean (2014):
Łukasiewicz logic and Riesz spaces.
Soft Computing 18(12),
pp. 2349–2363,
doi:10.1007/s00500-014-1348-z.
V. Paulsen (2002):
Completely bounded maps and operator algebras 78.
Cambridge University Press.
S. Sakai (1971):
C*-algebras and W*-algebras 60.
Springer Science & Business Media,
doi:10.1007/978-3-642-61993-9.
T. Weighill (2014):
Bifibrational duality in non-abelian algebra and the theory of databases.
MSc Thesis.
B. Westerbaan & A. Westerbaan (2015):
A universal property of sequential measurement.
Preprint is available at http://westerbaan.name/~bas/math/univ-prop-seq-prod.pdf.
K. Yosida (1941):
On vector lattice with a unit.
Proceedings of the Imperial Academy 17(5),
pp. 121–124,
doi:10.3792/pia/1195578821.