@inproceedings(abramskycoecke:categoricalsemantics,
 author       = {S. Abramsky and B. Coecke},
 year         = {2004},
 title        = {A categorical semantics of quantum protocols},
 booktitle    = {Logic in Computer Science},
 publisher    = {IEEE Computer Society},
 pages        = {415--425},
 doi          = {10.1109/LICS.2004.1},
)
@book(adamekherrlichstrecker:joyofcats,
 author       = {J. Adamek and H. Herrlich and G. Strecker},
 year         = {2006},
 title        = {Abstract and concrete categories: the joy of cats},
 series       = {Reprint},
 volume       = {17},
 publisher    = {Theory and Applications of Categories},
)
@inproceedings(chiribella:dilation,
 author       = {G. Chiribella},
 year         = {2014},
 title        = {Dilation of states and processes in operational-probabilistic theories},
 booktitle    = {Quantum Physics and Logic},
 series       = {EPTCS},
 volume       = {172},
 pages        = {1--14},
 doi          = {10.4204/EPTCS.172.1},
)
@article(chiribella:pure,
 author       = {G. Chiribella},
 year         = {2014},
 title        = {Distinguishability and copiability of programs in general process theories},
 journal      = {International Journal of Software and Informatics},
 volume       = {8},
 number       = {3--4},
 pages        = {209--223},
 url          = {http://arxiv.org/abs/1411.3035},
)
@article(chiribelladarianoperinotti:purification,
 author       = {G. Chiribella and G. M. {D'Ariano} and P. Perinotti},
 year         = {2010},
 title        = {Probabilistic theories with purification},
 journal      = {Physical Review A},
 volume       = {81},
 pages        = {062348},
 doi          = {10.1103/PhysRevA.81.062348},
)
@inproceedings(chiribellascandolo:diagonal,
 author       = {G. Chiribella and C. M. Scandolo},
 year         = {2015},
 title        = {Operational axioms for diagonalizing states},
 booktitle    = {Quantum Physics and Logic},
 series       = {EPTCS},
 volume       = {195},
 pages        = {96--115},
 doi          = {10.4204/EPTCS.195.8},
)
@article(choi,
 author       = {M.-D. Choi},
 year         = {1975},
 title        = {Completely positive linear maps on complex matrices},
 journal      = {Linear Algebra and its Applications},
 volume       = {10},
 pages        = {285--290},
 doi          = {10.1016/0024-3795(75)90075-0},
)
@article(coeckeheunen:cp,
 author       = {B. Coecke and C. Heunen},
 year         = {2016},
 title        = {Pictures of complete positivity in arbitrary dimension},
 journal      = {Information and Computation},
 volume       = {250},
 pages        = {50--58},
 doi          = {10.1016/j.ic.2016.02.007},
)
@book(coeckekissinger:cqm,
 author       = {B. Coecke and A. Kissinger},
 year         = {2017},
 title        = {Picturing quantum processes: a first course in quantum theory and diagrammatic reasoning},
 publisher    = {Cambridge University Press},
 doi          = {10.1017/9781316219317},
)
@article(coeckeperdrix:environment,
 author       = {B. Coecke and S. Perdrix},
 year         = {2010},
 title        = {Environment and classical channels in categorical quantum mechanics},
 journal      = {Logical Methods in Computer Science},
 volume       = {8},
 number       = {4},
 pages        = {14},
 doi          = {10.2168/LMCS-8(4:14)2012},
)
@inproceedings(cunninghamheunen:cpstar,
 author       = {O. Cunningham and C. Heunen},
 year         = {2015},
 title        = {Axiomatizing complete positivity},
 booktitle    = {Quantum Physics and Logic},
 series       = {EPTCS},
 volume       = {195},
 pages        = {148--157},
 doi          = {10.4204/EPTCS.195.11},
)
@article(freydkelly:factorisation,
 author       = {P. Freyd and G. M. Kelly},
 year         = {1972},
 title        = {Categories of continuous functors {I}},
 journal      = {Journal of Pure and Applied Algebra},
 volume       = {2},
 pages        = {169--191},
 doi          = {10.1016/0022-4049(72)90001-1},
)
@book(heunenvicary:cqm,
 author       = {C. Heunen and J. Vicary},
 year         = {2017},
 title        = {Categories for quantum theory: an introduction},
 publisher    = {Oxford University Press},
)
@article(joyal:quasicategories,
 author       = {A. Joyal},
 year         = {2008},
 title        = {The theory of quasi-categories and its applications},
 journal      = {Quaderns},
 volume       = {45},
 pages        = {149--496},
 url          = {http://mat.uab.cat/~kock/crm/hocat/advanced-course/Quadern45-2.pdf},
)
@article(selbycoecke:leaks,
 author       = {J. Selby and B. Coecke},
 year         = {2017},
 title        = {Leaks: quantum, classical, intermediate, and more},
 journal      = {Entropy},
 volume       = {19},
 number       = {4},
 pages        = {174},
 doi          = {10.3390/e19040174},
)
@inproceedings(selinger:cpm,
 author       = {P. Selinger},
 year         = {2007},
 title        = {Dagger compact closed categories and completely positive maps},
 booktitle    = {Quantum Physics and Logic},
 series       = {ENTCS},
 volume       = {170},
 pages        = {139--163},
 doi          = {10.1016/j.entcs.2006.12.018},
)
@inproceedings(selinger:graphicallanguages,
 author       = {P. Selinger},
 year         = {2009},
 title        = {A survey of graphical languages for monoidal categories},
 booktitle    = {New Structures for Physics},
 series       = {Lecture Notes in Physics},
 publisher    = {Springer},
 pages        = {289--355},
 doi          = {10.1007/978-3-642-12821-9_4},
)
@article(stinespring,
 author       = {W. F. Stinespring},
 year         = {1955},
 title        = {Positive functions on {C}*-algebras},
 journal      = {Proceedings of the American Mathematical Society},
 volume       = {6},
 pages        = {211--216},
 doi          = {10.2307/2032342},
)
@inproceedings(westerbaan:paschke,
 author       = {A. Westerbaan and B. Westerbaan},
 year         = {2016},
 title        = {Paschke dilations},
 booktitle    = {Quantum Physics and Logic},
 series       = {EPTCS},
 volume       = {236},
 pages        = {229--244},
 doi          = {10.4204/EPTCS.236.15},
)