{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,20]],"date-time":"2026-01-20T14:42:29Z","timestamp":1768920149853,"version":"3.49.0"},"reference-count":40,"publisher":"Springer Science and Business Media LLC","issue":"12","license":[{"start":{"date-parts":[[2014,10,15]],"date-time":"2014-10-15T00:00:00Z","timestamp":1413331200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Quantum Inf Process"],"published-print":{"date-parts":[[2016,12]]},"DOI":"10.1007\/s11128-014-0837-4","type":"journal-article","created":{"date-parts":[[2014,10,14]],"date-time":"2014-10-14T06:48:00Z","timestamp":1413269280000},"page":"5179-5209","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":36,"title":["Categories of quantum and classical channels"],"prefix":"10.1007","volume":"15","author":[{"given":"Bob","family":"Coecke","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Chris","family":"Heunen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Aleks","family":"Kissinger","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2014,10,15]]},"reference":[{"key":"837_CR1","volume-title":"Categorical Quantum Mechanics","author":"S Abramsky","year":"2008","unstructured":"Abramsky, S., Coecke, B.: Categorical Quantum Mechanics. Elsevier, Amsterdam (2008)"},{"key":"837_CR2","first-page":"1","volume":"71","author":"S Abramsky","year":"2012","unstructured":"Abramsky, S., Heunen, C.: H*-algebras and nonunital frobenius algebras: first steps in infinite-dimensional categorical quantum mechanics. Clifford Lect. 71, 1\u201324 (2012)","journal-title":"Clifford Lect."},{"key":"837_CR3","doi-asserted-by":"crossref","first-page":"3020","DOI":"10.1103\/PhysRevLett.75.3020","volume":"75","author":"R Alicki","year":"1995","unstructured":"Alicki, R.: Comment on \u2018reduced dynamics need not be completely positive\u2019. Phys. Rev. Lett. 75, 3020 (1995)","journal-title":"Phys. Rev. Lett."},{"key":"837_CR4","volume-title":"Positive Definite Matrices","author":"R Bhatia","year":"2007","unstructured":"Bhatia, R.: Positive Definite Matrices. Princeton University Press, Princeton (2007)"},{"key":"837_CR5","doi-asserted-by":"crossref","first-page":"120","DOI":"10.1103\/PhysRevLett.108.120402","volume":"108","author":"S Boixo","year":"2012","unstructured":"Boixo, S., Heunen, C.: Entangled and sequential quantum protocols with dephasing. Phys. Rev. Lett. 108, 120\u2013402 (2012)","journal-title":"Phys. Rev. Lett."},{"issue":"3","key":"837_CR6","doi-asserted-by":"crossref","first-page":"285","DOI":"10.1016\/0024-3795(75)90075-0","volume":"10","author":"MD Choi","year":"1975","unstructured":"Choi, M.D.: Completely positive linear maps on complex matrices. Linear Algebra Appl. 10(3), 285\u2013290 (1975)","journal-title":"Linear Algebra Appl."},{"key":"837_CR7","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1016\/j.entcs.2008.04.014","volume":"210","author":"B Coecke","year":"2008","unstructured":"Coecke, B.: Axiomatic description of mixed states from Selinger\u2019s CPM-construction. Electron. Notes Theor. Comput. Sci. 210, 3\u201313 (2008)","journal-title":"Electron. Notes Theor. Comput. Sci."},{"key":"837_CR8","unstructured":"Coecke, B. (ed.): New Structures for Physics. No. 813 in Lecture Notes in Physics. Springer, Berlin (2009)."},{"key":"837_CR9","unstructured":"Coecke, B., Duncan, R.: Interacting quantum observables: categorical algebra and diagrammatics. New J. Phys. 13, 043,016 (2011)."},{"key":"837_CR10","doi-asserted-by":"crossref","first-page":"27","DOI":"10.4204\/EPTCS.95.4","volume":"95","author":"B Coecke","year":"2012","unstructured":"Coecke, B., Heunen, C.: Pictures of complete positivity in arbitrary dimension. Electron. Proc. Theor. Comput. Sci. 95, 27\u201335 (2012)","journal-title":"Electron. Proc. Theor. Comput. Sci."},{"key":"837_CR11","doi-asserted-by":"crossref","unstructured":"Coecke, B., Heunen, C., Kissinger, A.: Compositional quantum logic. In: Coecke, B., Ong, L., Panangaden, P. (eds.) Computation, Logic, Games, and Quantum Foundationsno. 7860 in Lectures Notes in Computer Science, pp. 21\u201336. Springer, New York (2013).","DOI":"10.1007\/978-3-642-38164-5_3"},{"key":"837_CR12","first-page":"29","volume-title":"Semantic Techniques in Quantum Computation","author":"B Coecke","year":"2010","unstructured":"Coecke, B., Paquette, \u00c9.O., Pavlovi\u0107, D.: Classical and quantum structuralism. In: Gay, S., Mackey, I. (eds.) Semantic Techniques in Quantum Computation, pp. 29\u201369. Cambridge University Press, Cambridge (2010)"},{"key":"837_CR13","doi-asserted-by":"crossref","DOI":"10.1201\/9781584889007.ch16","volume-title":"Quantum measurements without sums","author":"B Coecke","year":"2007","unstructured":"Coecke, B., Pavlovi\u0107, D.: Quantum measurements without sums. Mathematics of Quantum Computing and Technology. Taylor and Francis, New York (2007)"},{"issue":"3","key":"837_CR14","doi-asserted-by":"crossref","first-page":"555","DOI":"10.1017\/S0960129512000047","volume":"23","author":"B Coecke","year":"2012","unstructured":"Coecke, B., Pavlovi\u0107, D., Vicary, J.: A new description of orthogonal bases. Math. Struct. Comput. Sci. 23(3), 555\u2013567 (2012)","journal-title":"Math. Struct. Comput. Sci."},{"key":"837_CR15","unstructured":"Coecke, B., Perdrix, S.: Environment and classical channels in categorical quantum mechanics. Computer Science Logic, pp. 230\u2013244. Springer, New York (2010)."},{"key":"837_CR16","volume-title":"C*-algebras by Example","author":"KR Davidson","year":"1991","unstructured":"Davidson, K.R.: C*-algebras by Example. American Mathematical Society, Providence (1991)"},{"key":"837_CR17","unstructured":"Duncan, R.: Types for Quantum Computing. Ph.D. thesis, Oxford University, Oxford (2006)."},{"key":"837_CR18","doi-asserted-by":"crossref","first-page":"114","DOI":"10.1016\/j.jpaa.2012.04.002","volume":"217","author":"C Heunen","year":"2013","unstructured":"Heunen, C., Contreras, I., Cattaneo, A.S.: Relative frobenius algebras are groupoids. J. Pure Appl. Algebra 217, 114\u2013124 (2013)","journal-title":"J. Pure Appl. Algebra"},{"key":"837_CR19","unstructured":"Heunen, C., Kissinger, A., Selinger, P.: Completely positive projections and biproducts. In: Proceedings of Quantum Physics and Logic X (2013) (to appear) arxiv:1308.4557"},{"key":"837_CR20","unstructured":"Heunen, C., Vicary, J.: Introduction to Categorical Quantum Mechanics. Oxford University Press (to appear)"},{"key":"837_CR21","doi-asserted-by":"crossref","first-page":"20","DOI":"10.1006\/aima.1993.1055","volume":"102","author":"A Joyal","year":"1993","unstructured":"Joyal, A., Street, R.: Braided tensor categories. Adv. Math. 102, 20\u201378 (1993)","journal-title":"Adv. Math."},{"key":"837_CR22","doi-asserted-by":"crossref","first-page":"431","DOI":"10.1016\/S0370-1573(02)00266-1","volume":"369","author":"M Keyl","year":"2002","unstructured":"Keyl, M.: Fundamentals of quantum information theory. Phys. Rep. 369, 431\u2013548 (2002)","journal-title":"Phys. Rep."},{"key":"837_CR23","first-page":"73","volume-title":"Lectures on Quantum Information","author":"M Keyl","year":"2007","unstructured":"Keyl, M., Werner, R.F.: Channels and maps. In: Bru\u00df, D., Leuchs, G. (eds.) Lectures on Quantum Information, pp. 73\u201386. Wiley, Hoboken (2007)"},{"key":"837_CR24","doi-asserted-by":"crossref","DOI":"10.1142\/5284","volume-title":"Real Operator Algebras","author":"B Li","year":"2003","unstructured":"Li, B.: Real Operator Algebras. World Scientific, Singapore (2003)"},{"key":"837_CR25","doi-asserted-by":"crossref","unstructured":"Mac Lane, S.: Categories for the Working Mathematician, 2nd edn. Springer, New York (1971).","DOI":"10.1007\/978-1-4612-9839-7"},{"key":"837_CR26","unstructured":"Panangaden, P., Paquette, \u00c9.O.: New structures for physics. In: Coecke, B. (ed.) New Structures for Physics. No. 813 in Lecture Notes in Physics, pp. 939\u2013979. Springer, New York (2009)."},{"key":"837_CR27","volume-title":"Completely Bounded Maps and Operators Algebras","author":"V Paulsen","year":"2002","unstructured":"Paulsen, V.: Completely Bounded Maps and Operators Algebras. Cambridge University Press, Cambridge (2002)"},{"key":"837_CR28","doi-asserted-by":"crossref","first-page":"1060","DOI":"10.1103\/PhysRevLett.73.1060","volume":"74","author":"P Pechukas","year":"1994","unstructured":"Pechukas, P.: Reduced dynamics need not be completely positive. Phys. Rev. Lett. 74, 1060\u20131062 (1994)","journal-title":"Phys. Rev. Lett."},{"key":"837_CR29","doi-asserted-by":"crossref","first-page":"493","DOI":"10.1016\/S1355-2198(96)00017-2","volume":"27","author":"M Redei","year":"1996","unstructured":"Redei, M.: Why John von Neumann did not like the Hilbert space formalism of quantum mechanics (and what he liked instead). Stud. Hist. Philos. Sci. Part B 27, 493\u2013510 (1996)","journal-title":"Stud. Hist. Philos. Sci. Part B"},{"key":"837_CR30","volume-title":"Quantales and their Applicatoins","author":"KI Rosenthal","year":"1990","unstructured":"Rosenthal, K.I.: Quantales and their Applicatoins. Pitman Research Notes in Mathematics. Longman Scientific & Technical, Harlow (1990)"},{"issue":"3","key":"837_CR31","doi-asserted-by":"crossref","first-page":"485","DOI":"10.1007\/s10114-003-0278-y","volume":"19","author":"ZJ Ruan","year":"2003","unstructured":"Ruan, Z.J.: On real operator spaces. Acta Math. Sinica 19(3), 485\u2013496 (2003)","journal-title":"Acta Math. Sinica"},{"key":"837_CR32","unstructured":"Selinger, P.: Dagger compact closed categories and completely positive maps. Quantum Programming Languages, Electronic Notices in Theoretical Computer Science, pp. 139\u2013163. Elsevier, Amsterdam (2007)."},{"key":"837_CR33","unstructured":"Selinger, P.: Idempotents in dagger categories. Quantum Programming Languages, Electronic Notes in Theoretical Computer Science, pp. 107\u2013122. Elsevier, Amsterdam (2008)."},{"key":"837_CR34","unstructured":"Selinger, P.: A survey of graphical languages for monoidal categories. In: Coecke, B. (ed.) New Structures for Physics. No. 813 in Lecture Notes in Physics, pp. 289\u2013356. Springer, New York (2009)."},{"issue":"1\u20134","key":"837_CR35","doi-asserted-by":"crossref","first-page":"48","DOI":"10.1016\/j.physleta.2005.04.029","volume":"341","author":"A Shaji","year":"2005","unstructured":"Shaji, A., Sudarshan, E.C.G.: Who\u2019s afraid of not completely positive maps? Phys. Lett. A 341(1\u20134), 48\u201354 (2005)","journal-title":"Phys. Lett. A"},{"issue":"2","key":"837_CR36","first-page":"211","volume":"6","author":"WF Stinespring","year":"1955","unstructured":"Stinespring, W.F.: Positive functions on C*-algebras. Proc. Am. Math. Soc. 6(2), 211\u2013216 (1955)","journal-title":"Proc. Am. Math. Soc."},{"key":"837_CR37","doi-asserted-by":"crossref","unstructured":"St\u00f8rmer, E.: Positive Linear Maps of Operator Algebras. Springer, New York (2013).","DOI":"10.1007\/978-3-642-34369-8"},{"issue":"3","key":"837_CR38","doi-asserted-by":"crossref","first-page":"765","DOI":"10.1007\/s00220-010-1138-0","volume":"304","author":"J Vicary","year":"2011","unstructured":"Vicary, J.: Categorical formulation of finite-dimensional quantum algebras. Commun. Math. Phys. 304(3), 765\u2013796 (2011)","journal-title":"Commun. Math. Phys."},{"key":"837_CR39","doi-asserted-by":"crossref","first-page":"347","DOI":"10.1007\/BF02097706","volume":"134","author":"S Zakrzewski","year":"1990","unstructured":"Zakrzewski, S.: Quantum and classical pseudogroups I. Commun. Math. Phys. 134, 347\u2013370 (1990)","journal-title":"Commun. Math. Phys."},{"key":"837_CR40","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1023\/B:OPSY.0000024753.05661.c2","volume":"11","author":"K \u017byczkowski","year":"2004","unstructured":"\u017byczkowski, K., Bengtsson, I.: On duality between quantum states and quantum maps. Open Syst. Inf. Dyn. 11, 3\u201342 (2004)","journal-title":"Open Syst. Inf. Dyn."}],"container-title":["Quantum Information Processing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11128-014-0837-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11128-014-0837-4\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11128-014-0837-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11128-014-0837-4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,1]],"date-time":"2019-06-01T03:39:18Z","timestamp":1559360358000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11128-014-0837-4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,10,15]]},"references-count":40,"journal-issue":{"issue":"12","published-print":{"date-parts":[[2016,12]]}},"alternative-id":["837"],"URL":"https:\/\/doi.org\/10.1007\/s11128-014-0837-4","relation":{},"ISSN":["1570-0755","1573-1332"],"issn-type":[{"value":"1570-0755","type":"print"},{"value":"1573-1332","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014,10,15]]}}}