S. Abramsky & B. Coecke (2004):
A categorical semantics of quantum protocols.
In: Logic in Computer Science.
IEEE Computer Society,
pp. 415–425,
doi:10.1109/LICS.2004.1.
J. Adamek, H. Herrlich & G. Strecker (2006):
Abstract and concrete categories: the joy of cats.
Reprint 17.
Theory and Applications of Categories.
G. Chiribella (2014):
Dilation of states and processes in operational-probabilistic theories.
In: Quantum Physics and Logic,
EPTCS 172,
pp. 1–14,
doi:10.4204/EPTCS.172.1.
G. Chiribella (2014):
Distinguishability and copiability of programs in general process theories.
International Journal of Software and Informatics 8(3–4),
pp. 209–223.
Available at http://arxiv.org/abs/1411.3035.
G. Chiribella, G. M. D'Ariano & P. Perinotti (2010):
Probabilistic theories with purification.
Physical Review A 81,
pp. 062348,
doi:10.1103/PhysRevA.81.062348.
G. Chiribella & C. M. Scandolo (2015):
Operational axioms for diagonalizing states.
In: Quantum Physics and Logic,
EPTCS 195,
pp. 96–115,
doi:10.4204/EPTCS.195.8.
M.-D. Choi (1975):
Completely positive linear maps on complex matrices.
Linear Algebra and its Applications 10,
pp. 285–290,
doi:10.1016/0024-3795(75)90075-0.
B. Coecke & C. Heunen (2016):
Pictures of complete positivity in arbitrary dimension.
Information and Computation 250,
pp. 50–58,
doi:10.1016/j.ic.2016.02.007.
B. Coecke & A. Kissinger (2017):
Picturing quantum processes: a first course in quantum theory and diagrammatic reasoning.
Cambridge University Press,
doi:10.1017/9781316219317.
B. Coecke & S. Perdrix (2010):
Environment and classical channels in categorical quantum mechanics.
Logical Methods in Computer Science 8(4),
pp. 14,
doi:10.2168/LMCS-8(4:14)2012.
O. Cunningham & C. Heunen (2015):
Axiomatizing complete positivity.
In: Quantum Physics and Logic,
EPTCS 195,
pp. 148–157,
doi:10.4204/EPTCS.195.11.
P. Freyd & G. M. Kelly (1972):
Categories of continuous functors I.
Journal of Pure and Applied Algebra 2,
pp. 169–191,
doi:10.1016/0022-4049(72)90001-1.
C. Heunen & J. Vicary (2017):
Categories for quantum theory: an introduction.
Oxford University Press.
J. Selby & B. Coecke (2017):
Leaks: quantum, classical, intermediate, and more.
Entropy 19(4),
pp. 174,
doi:10.3390/e19040174.
P. Selinger (2007):
Dagger compact closed categories and completely positive maps.
In: Quantum Physics and Logic,
ENTCS 170,
pp. 139–163,
doi:10.1016/j.entcs.2006.12.018.
P. Selinger (2009):
A survey of graphical languages for monoidal categories.
In: New Structures for Physics,
Lecture Notes in Physics.
Springer,
pp. 289–355,
doi:10.1007/978-3-642-12821-9_4.
W. F. Stinespring (1955):
Positive functions on C*-algebras.
Proceedings of the American Mathematical Society 6,
pp. 211–216,
doi:10.2307/2032342.
A. Westerbaan & B. Westerbaan (2016):
Paschke dilations.
In: Quantum Physics and Logic,
EPTCS 236,
pp. 229–244,
doi:10.4204/EPTCS.236.15.