@inproceedings(AC1,
 author       = {S. Abramsky and B. Coecke},
 year         = {2004},
 title        = {A categorical semantics of quantum protocols},
 booktitle    = {Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science (LICS)},
 pages        = {415--425},
 doi          = {10.1109/LICS.2004.1319636},
 note         = {{a}rXiv:quant-ph/0402130},
)
@book(asperti1991categories,
 author       = {A. Asperti and G. Longo},
 year         = {1991},
 title        = {Categories, types, and structures: an introduction to category theory for the working computer scientist},
 publisher    = {MIT press},
)
@article(Nobroadcast,
 author       = {H. Barnum and C. M. Caves and C. A. Fuchs and R. Jozsa and B. Schumacher},
 year         = {1996},
 title        = {Noncommuting mixed states cannot be broadcast},
 journal      = {Physical Review Letters},
 volume       = {76},
 pages        = {2818},
 doi          = {10.1103/PhysRevLett.76.2818},
)
@article(blume2010information,
 author       = {Blume-Kohout, R. and H. K. Ng and D. Poulin and L. Viola},
 year         = {2010},
 title        = {Information-preserving structures: A general framework for quantum zero-error information},
 journal      = {Physical Review A},
 volume       = {82},
 number       = {6},
 pages        = {062306},
 doi          = {10.1103/PhysRevA.82.062306},
)
@article(borceux1986cauchy,
 author       = {F. Borceux and D. Dejean},
 year         = {1986},
 title        = {Cauchy completion in category theory},
 journal      = {Cahiers de topologie et g{\'e}om{\'e}trie diff{\'e}rentielle cat{\'e}goriques},
 volume       = {27},
 number       = {2},
 pages        = {133--146},
)
@article(bratteli1972inductive,
 author       = {O. Bratteli},
 year         = {1972},
 title        = {Inductive limits of finite dimensional {C}*-algebras},
 journal      = {Transactions of the American Mathematical Society},
 volume       = {171},
 pages        = {195--234},
 doi          = {10.2307/1996380},
)
@article(Chiri1,
 author       = {G. Chiribella and G. M. D'Ariano and P. Perinotti},
 year         = {2010},
 title        = {Probabilistic theories with purification},
 journal      = {Physical Review A},
 volume       = {81},
 number       = {6},
 pages        = {062348},
 doi          = {10.1103/PhysRevA.81.062348},
)
@article(Chiri2,
 author       = {G. Chiribella and G. M. D'Ariano and P. Perinotti},
 year         = {2011},
 title        = {Informational derivation of quantum theory},
 journal      = {Physical Review A},
 volume       = {84},
 number       = {1},
 pages        = {012311},
 doi          = {10.1103/PhysRevA.84.012311},
)
@article(cho2015introduction,
 author       = {K. Cho and B. Jacobs and B. Westerbaan and A. Westerbaan},
 year         = {2015},
 title        = {An introduction to effectus theory},
 journal      = {arXiv:1512.05813},
)
@article(SelingerAxiom,
 author       = {B. Coecke},
 year         = {2008},
 title        = {Axiomatic description of mixed states from {S}elinger's {CPM}-construction},
 journal      = {Electronic Notes in Theoretical Computer Science},
 volume       = {210},
 pages        = {3--13},
 doi          = {10.1016/j.entcs.2008.04.014},
)
@unpublished(Cnonsig,
 author       = {B. Coecke},
 year         = {2014},
 title        = {Terminality implies non-signalling},
 doi          = {10.4204/EPTCS.172.3},
 note         = {ArXiv:1405.3681},
)
@incollection(CKpaperI,
 author       = {B. Coecke and A. Kissinger},
 year         = {2016},
 title        = {Categorical quantum mechanics {I}: causal quantum processes},
 editor       = {E. Landry},
 booktitle    = {Categories for the Working Philosopher},
 publisher    = {Oxford University Press},
 note         = {Ar{X}iv:1510.05468},
)
@book(CKBook,
 author       = {B. Coecke and A. Kissinger},
 year         = {2016},
 title        = {Picturing Quantum Processes. A First Course in Quantum Theory and Diagrammatic Reasoning},
 publisher    = {Cambridge University Press},
 doi          = {10.1017/9781316219317},
)
@inproceedings(CPer,
 author       = {B. Coecke and S. Perdrix},
 year         = {2010},
 title        = {Environment and classical channels in categorical quantum mechanics},
 booktitle    = {Proceedings of the 19th EACSL Annual Conference on Computer Science Logic (CSL)},
 series       = {Lecture Notes in Computer Science},
 volume       = {6247},
 pages        = {230--244},
 doi          = {10.1007/978-3-642-15205-4\_20},
 note         = {Extended version: {a}rXiv:1004.1598},
)
@article(cohn2004projective,
 author       = {H. Cohn},
 year         = {2004},
 title        = {Projective geometry over {F}\_1 and the {G}aussian binomial coefficients},
 journal      = {The American Mathematical Monthly},
 volume       = {111},
 number       = {6},
 pages        = {487--495},
 doi          = {10.2307/4145067},
)
@article(cunningham2015axiomatizing,
 author       = {O. Cunningham and C. Heunen},
 year         = {2015},
 title        = {Axiomatizing complete positivity},
 journal      = {arXiv preprint arXiv:1506.02931},
 doi          = {10.4204/EPTCS.195.11},
)
@article(demarr1974nonnegative,
 author       = {R. DeMarr},
 year         = {1974},
 title        = {Nonnegative idempotent matrices},
 journal      = {Proceedings of the American Mathematical Society},
 volume       = {45},
 number       = {2},
 pages        = {185--188},
 doi          = {10.1090/S0002-9939-1974-0354738-X},
)
@article(flor1969groups,
 author       = {P. Flor},
 year         = {1969},
 title        = {On groups of non-negative matrices},
 journal      = {Compositio Mathematica},
 volume       = {21},
 number       = {4},
 pages        = {376--382},
)
@article(hardy2012limited,
 author       = {L. Hardy and W. K. Wootters},
 year         = {2012},
 title        = {Limited holism and real-vector-space quantum theory},
 journal      = {Foundations of Physics},
 volume       = {42},
 number       = {3},
 pages        = {454--473},
 doi          = {10.1007/s10701-011-9616-6},
)
@inproceedings(EPTCS171.7,
 author       = {C. Heunen and A. Kissinger and P. Selinger},
 year         = {2014},
 title        = {{Completely positive projections and biproducts}},
 editor       = {Bob Coecke and Matty Hoban},
 booktitle    = {Proceedings of the 10th International Workshop on Quantum Physics and Logic},
 series       = {Electronic Proceedings in Theoretical Computer Science},
 volume       = {171},
 publisher    = {Open Publishing Association},
 pages        = {71--83},
 doi          = {10.4204/EPTCS.171.7},
)
@book(LambekScott,
 author       = {J. Lambek and P. J. Scott},
 year         = {1988},
 title        = {Introduction to Higher-order Categorical Logic},
 publisher    = {Cambridge University Press},
)
@book(MacLane,
 author       = {Mac Lane, S.},
 year         = {1998},
 title        = {Categories for the working mathematician},
 publisher    = {Springer-verlag},
 doi          = {10.1007/978-1-4757-4721-8},
)
@article(masanes2013existence,
 author       = {L. Masanes and M. P. M{\"u}ller and R. Augusiak and P{\'e}rez-Garc{\'\i}a, D.},
 year         = {2013},
 title        = {Existence of an information unit as a postulate of quantum theory},
 journal      = {Proceedings of the National Academy of Sciences},
 volume       = {110},
 number       = {41},
 pages        = {16373--16377},
 doi          = {10.1073/pnas.1304884110},
)
@article(schumacher2012modal,
 author       = {B. Schumacher and M. D. Westmoreland},
 year         = {2012},
 title        = {Modal quantum theory},
 journal      = {Foundations of Physics},
 volume       = {42},
 number       = {7},
 pages        = {918--925},
 doi          = {10.1007/s10701-012-9650-z},
)
@incollection(schumacher2016almost,
 author       = {B. Schumacher and M. D. Westmoreland},
 year         = {2016},
 title        = {Almost quantum theory},
 booktitle    = {Quantum Theory: Informational Foundations and Foils},
 publisher    = {Springer},
 pages        = {45--81},
 doi          = {10.1007/978-94-017-7303-4\_3},
)
@article(QCILeaks,
 author       = {John Selby and Bob Coecke},
 year         = {2017},
 title        = {Leaks: quantum, classical, intermediate and more},
 journal      = {Entropy},
 volume       = {19},
 number       = {4},
 pages        = {174},
 doi          = {10.3390/e19040174},
)
@article(SelingerCPM,
 author       = {P. Selinger},
 year         = {2007},
 title        = {Dagger compact closed categories and completely positive maps},
 journal      = {Electronic Notes in Theoretical Computer Science},
 volume       = {170},
 pages        = {139--163},
 doi          = {10.1016/j.entcs.2006.12.018},
)
@article(SelingerIdempotent,
 author       = {P. Selinger},
 year         = {2008},
 title        = {Idempotents in Dagger Categories (Extended Abstract)},
 journal      = {Electronic Notes in Theoretical Computer Science},
 volume       = {210},
 pages        = {107--122},
 doi          = {10.1016/j.entcs.2008.04.021},
)
@article(VicaryCstar,
 author       = {J. Vicary},
 year         = {2011},
 title        = {Categorical formulation of finite-dimensional quantum algebras},
 journal      = {Communications in Mathematical Physics},
 volume       = {304},
 number       = {3},
 pages        = {765--796},
 doi          = {10.1007/s00220-010-1138-0},
)