@inproceedings(abramskycoecke:categoricalsemantics,
 author       = {S. Abramsky and B. Coecke},
 year         = {2004},
 title        = {A categorical semantics of quantum protocols},
 booktitle    = {Logic in Computer Science 19},
 publisher    = {IEEE Computer Society},
 pages        = {415--425},
 doi          = {10.1109/lics.2004.1319636},
)
@inbook(baez:quandaries,
 author       = {J.C. Baez},
 year         = {2006},
 title        = {The structural foundations of quantum gravity},
 chapter      = {Quantum quandaries: a category-theoretic perspective},
 pages        = {240--266},
 publisher    = {Oxford University Press},
 doi          = {10.1093/acprof:oso/9780199269693.003.0008},
)
@article(Baez2004,
 author       = {J.C. Baez and A.S. Crans},
 year         = {2004},
 title        = {{Higher-dimensional algebra VI: Lie 2-algebras}},
 journal      = {Theory and Applications of Categories [electronic only]},
 volume       = {12},
 pages        = {492--538},
 url          = {http://eudml.org/doc/124264},
)
@article(Baez2004a,
 author       = {J.C. Baez and A.D. Lauda},
 year         = {2004},
 title        = {Higher-dimensional algebra. V: 2-Groups.},
 journal      = {Theory and Applications of Categories [electronic only]},
 volume       = {12},
 pages        = {423--491},
 url          = {http://eudml.org/doc/124217},
)
@article(Barnum2007,
 author       = {H. Barnum and J. Barrett and M. Leifer and A. Wilce},
 year         = {2007},
 title        = {{Generalized No-broadcasting theorem}},
 journal      = {Physical Review Letters},
 volume       = {99},
 number       = {24},
 pages        = {1--4},
 doi          = {10.1103/PhysRevLett.99.240501},
)
@article(Barnum1996,
 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      = {Phys. Rev. Lett.},
 volume       = {76},
 number       = {2818},
 doi          = {10.1103/PhysRevLett.76.2818},
)
@inproceedings(bonchietal:signalflow,
 author       = {F. Bonchi and P. Soboci\'{n}ski and F. Zanasi},
 year         = {2014},
 title        = {A Categorical Semantics of Signal Flow Graphs},
 booktitle    = {CONCUR 2014},
 series       = {Lecture Notes in Computer Science},
 volume       = {8704},
 publisher    = {Springer},
 pages        = {435--450},
 doi          = {10.1007/978-3-662-44584-6_30},
)
@article(brown:groupoids,
 author       = {R. Brown},
 year         = {1999},
 title        = {Groupoids and crossed objects in algebraic topology},
 journal      = {Homology, Homotopy and Applications},
 volume       = {1},
 number       = {1},
 pages        = {1--78},
 doi          = {10.4310/hha.1999.v1.n1.a1},
)
@article(Butz1998,
 author       = {C. Butz},
 year         = {1998},
 title        = {{Regular Categories and Regular Logic}},
 journal      = {BRICS Lecture Series LS-98-2},
 pages        = {46},
 url          = {http://www.brics.dk/LS/98/2/BRICS-LS-98-2.pdf},
)
@article(A.CarboniM.C.Pedicchio,
 author       = {A. Carboni and M.C. Pedicchio and N. Pirovano},
 year         = {1991},
 title        = {{Internal Graphs and Internal Groupoids in Mal'cev Categories}},
 journal      = {Category Theory 1991: Proceedings of an International Summer Category Theory},
 doi          = {10.1007/BFb0084207},
)
@article(carboniwalters:cartesianbicategories,
 author       = {A. Carboni and R.F.C. Walters},
 year         = {1987},
 title        = {Cartesian bicategories {I}},
 journal      = {Journal of Pure and Applied Algebra},
 volume       = {49},
 pages        = {11--32},
 doi          = {10.1016/0022-4049(87)90121-6},
)
@article(coeckeduncan:zx,
 author       = {B. Coecke and R. Duncan},
 year         = {2011},
 title        = {Interacting Quantum Observables},
 journal      = {New Journal of Physics},
 volume       = {13},
 number       = {4},
 pages        = {043016},
 doi          = {10.1007/978-3-540-70583-3_25},
)
@article(coecke2011interacting,
 author       = {B. Coecke and R. Duncan},
 year         = {2011},
 title        = {Interacting quantum observables: categorical algebra and diagrammatics},
 journal      = {New Journal of Physics},
 volume       = {13},
 number       = {4},
 pages        = {043016},
 doi          = {10.1088/1367-2630/13/4/043016},
)
@inproceedings(coeckeedwards:spek,
 author       = {B. Coecke and B. Edwards},
 year         = {2011},
 title        = {Toy quantum categories},
 booktitle    = {Quantum Physics and Logic 2008, ENTCS},
 volume       = {270},
 pages        = {29--40},
 doi          = {10.1016/j.entcs.2011.01.004},
)
@incollection(Coecke2013,
 author       = {B. Coecke and C. Heunen and A. Kissinger},
 year         = {2013},
 title        = {Compositional Quantum Logic},
 editor       = {B. Coecke and L. Ong and P. Panangaden},
 booktitle    = {Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky},
 series       = {Lecture Notes in Computer Science},
 volume       = {7860},
 publisher    = {Springer Berlin Heidelberg},
 pages        = {21--36},
 doi          = {10.1007/978-3-642-38164-5_3},
)
@article(Coecke2013i,
 author       = {B. Coecke and C. Heunen and A. Kissinger},
 year         = {2014},
 title        = {Categories of quantum and classical channels},
 journal      = {Quantum Information Processing},
 pages        = {1--31},
 doi          = {10.1007/s11128-014-0837-4},
)
@book(freyd1990categories,
 author       = {P. Freyd and A. Scedrov},
 year         = {1990},
 title        = {Categories, allegories},
 volume       = {39},
 publisher    = {Elsevier},
 doi          = {10.5860/choice.29-2765},
)
@article(msc,
 author       = {M. Gachechiladze},
 year         = {2014},
 title        = {On Categorical Characterizations of No-signaling Theories},
 journal      = {MSc Thesis},
)
@article(Gran1999,
 author       = {M. Gran},
 year         = {1999},
 title        = {{Internal categories in Mal’cev categories}},
 journal      = {Journal of Pure and Applied Algebra},
 volume       = {143},
 number       = {1-3},
 pages        = {221--229},
 doi          = {10.1016/S0022-4049(98)00112-1},
)
@book(heinosaariziman:quantum,
 author       = {T. Heinosaari and M. Ziman},
 year         = {2012},
 title        = {The mathematical language of quantum theory},
 publisher    = {Cambridge University Press},
 doi          = {10.1017/cbo9781139031103},
)
@article(Heunen2013,
 author       = {C. Heunen and I. Contreras and A. S. Cattaneo},
 year         = {2013},
 title        = {Relative Frobenius algebras are groupoids},
 journal      = {Journal of Pure and Applied Algebra},
 volume       = {217},
 number       = {1},
 pages        = {114 -- 124},
 doi          = {10.1016/j.jpaa.2012.04.002},
)
@article(heunenkissinger:cbh,
 author       = {C. Heunen and A. Kissinger},
 year         = {2015},
 title        = {Can quantum theory be characterized by information-theoretic constraints?},
 journal      = {in preparation},
)
@article(heunenkissingervicary:cp,
 author       = {C. Heunen and A. Kissinger and J. Vicary},
 year         = {2015},
 title        = {Faces of complete positivity},
 journal      = {in preparation},
)
@inbook(maassen:probability,
 author       = {H. Maassen},
 year         = {2010},
 title        = {Quantum Information, Computation and Cryptography},
 chapter      = {Quantum Probability and Quantum Information},
 pages        = {65--108},
 series       = {Lecture Notes in Physics},
 volume       = {808},
 publisher    = {Springer},
 doi          = {10.1007/978-3-642-11914-9_3},
)
@article(morton:twovectorspaces,
 author       = {J. C. Morton},
 year         = {2011},
 title        = {Two-vector spaces and groupoids},
 journal      = {Applied Categorical Structures},
 volume       = {19},
 number       = {4},
 pages        = {659--707},
 doi          = {10.1007/s10485-010-9225-0},
)
@article(Noohi2007,
 author       = {B. Noohi},
 year         = {2007},
 title        = {{Notes on 2-groupoids, 2-groups and crossed modules}},
 journal      = {Homology, Homotopy and Applications},
 volume       = {9},
 number       = {1},
 pages        = {75--106},
 doi          = {10.4310/HHA.2007.v9.n1.a3},
)
@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(selinger:complete,
 author       = {P. Selinger},
 year         = {2012},
 title        = {Finite dimensional {H}ilbert spaces are complete for dagger compact closed categories},
 journal      = {Logical Methods in Computer Science},
 volume       = {8},
 number       = {3},
 pages        = {6},
 doi          = {10.2168/lmcs-8(3:6)2012},
)
@article(Shannon1943,
 author       = {C.E. Shannon},
 year         = {1943},
 title        = {{Analogue of the Vernam System for Continuous Time Series}},
 journal      = {Memorandum MM 43-110-44, Bell Laboraties},
 doi          = {10.1109/9780470544242.ch3},
)
@article(Stay2013,
 author       = {M. Stay and J. Vicary},
 year         = {2013},
 title        = {{Bicategorical semantics for nondeterministic computation}},
 journal      = {Electronic Notes in Theoretical Computer Science},
 volume       = {298},
 pages        = {367--382},
 doi          = {10.1016/j.entcs.2013.09.022},
)
@article(vicary:quantumalgebras,
 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},
)