Samson Abramsky & Bob Coecke (2008):
Categorical quantum mechanics.
In: Handbook of quantum logic and quantum structures: quantum logic.
Elsevier,
pp. 261–324,
doi:10.1016/B978-0-444-52869-8.50010-4.
Samson Abramsky & Chris Heunen (2012):
H*-algebras and nonunital Frobenius algebras: first steps in infinite-dimensional categorical quantum mechanics.
In: Mathematical Foundations of Information Flow,
Clifford Lectures, Proceedings of Symposia in Applied Mathematics 71.
American Mathematical Society,
pp. 1–24,
doi:10.1090/psapm/071/599.
Man-Duen Choi & Edward G. Effros (1977):
Injectivity and operator spaces.
Journal of Functional Analysis 24,
pp. 156–209,
doi:10.1016/0022-1236(77)90052-0.
Bob Coecke, Chris Heunen & Aleks Kissinger (2014):
Categories of quantum and classical channels.
Quantum Information Processing,
doi:10.1007/s11128-014-0837-4.
Kenneth R. Davidson (1991):
C*-algebras by example.
American Mathematical Society.
Chris Heunen (2008):
Semimodule enrichment.
In: Proceedings of the 24th Conference on the Mathematical Foundations of Programming Semantics (MFPS XXIV),
Electronic Notes in Theoretical Computer Science 218.
Elsevier,
pp. 193–208,
doi:10.1016/j.entcs.2008.10.012.
Robin Houston (2008):
Finite products are biproducts in a compact closed category.
Journal of Pure and Applied Algebra 212(2),
pp. 394–400,
doi:10.1016/j.jpaa.2007.05.021.
Peter Selinger (2007):
Dagger compact closed categories and completely positive maps.
In: Proceedings of the 3rd International Workshop on Quantum Programming Languages (QPL 2005),
Electronic Notices in Theoretical Computer Science 170.
Elsevier,
pp. 139–163,
doi:10.1016/j.entcs.2006.12.018.
Peter Selinger (2008):
Idempotents in dagger categories.
In: Proceedings of the 4th International Workshop on Quantum Programming Languages (QPL 2006),
Electronic Notes in Theoretical Computer Science 210.
Elsevier,
pp. 107–122,
doi:10.1016/j.entcs.2008.04.021.
Erling Størmer (2013):
Positive linear maps of operator algebras.
Monographs in Mathematics.
Springer,
doi:10.1007/978-3-642-34369-8.