@inproceedings(abramsky2017quantum, author = {Samson Abramsky and Rui Soares Barbosa and Nadish de Silva and Octavio Zapata}, year = {2017}, title = {The Quantum Monad on Relational Structures}, booktitle = {LIPIcs-Leibniz International Proceedings in Informatics}, volume = {83}, organization = {Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik}, doi = {10.4230/LIPIcs.MFCS.2017.35}, ) @article(atserias2018quantum, author = {Albert Atserias and Man{\v{c}}inska, Laura and David E Roberson and {\v{S}}{\'a}mal, Robert and Simone Severini and Antonios Varvitsiotis}, year = {2018}, title = {Quantum and non-signalling graph isomorphisms}, journal = {Journal of Combinatorial Theory, Series B}, doi = {10.1016/j.jctb.2018.11.002}, ) @article(cameron2007quantum, author = {Peter J Cameron and Ashley Montanaro and Michael W Newman and Simone Severini and Andreas Winter}, year = {2007}, title = {On the quantum chromatic number of a graph}, journal = {The electronic journal of combinatorics}, volume = {14}, number = {1}, pages = {81}, url = {https://arxiv.org/abs/quant-ph/0608016}, ) @book(chang_2015, author = {Mou-Hsiung Chang}, year = {2015}, title = {Quantum Stochastics}, series = {Cambridge Series in Statistical and Probabilistic Mathematics}, publisher = {Cambridge University Press}, doi = {10.1017/CBO9781107706545}, ) @article(cho2015introduction, author = {Kenta Cho and Bart Jacobs and Bas Westerbaan and Abraham Westerbaan}, year = {2015}, title = {An introduction to effectus theory}, journal = {arXiv preprint}, url = {https://arxiv.org/abs/1512.05813}, ) @inproceedings(cleve2014characterization, author = {Richard Cleve and Rajat Mittal}, year = {2014}, title = {Characterization of binary constraint system games}, booktitle = {International Colloquium on Automata, Languages, and Programming}, organization = {Springer}, pages = {320--331}, doi = {10.1007/978-3-662-43948-7}, ) @incollection(giry1982categorical, author = {Michele Giry}, year = {1982}, title = {A categorical approach to probability theory}, booktitle = {Categorical aspects of topology and analysis}, publisher = {Springer}, pages = {68--85}, doi = {10.1007/BFb0092872}, ) @book(heinosaari2011mathematical, author = {Teiko Heinosaari and M{\'a}rio Ziman}, year = {2011}, title = {The mathematical language of quantum theory: from uncertainty to entanglement}, publisher = {Cambridge University Press}, doi = {10.1017/CBO9781139031103}, ) @article(jacobs2011probabilities, author = {Bart Jacobs}, year = {2011}, title = {Probabilities, distribution monads, and convex categories}, journal = {Theoretical Computer Science}, volume = {412}, number = {28}, pages = {3323--3336}, doi = {10.1016/j.tcs.2011.04.005}, ) @article(jacobs2015new, author = {Bart Jacobs}, year = {2015}, title = {New directions in categorical logic, for classical, probabilistic and quantum logic}, journal = {Logical Methods in Computer Science (LMCS)}, volume = {11}, number = {3}, doi = {10.2168/LMCS-11(3:24)2015}, ) @article(manvcinska2016quantum, author = {Man{\v{c}}inska, Laura and David E Roberson}, year = {2016}, title = {Quantum homomorphisms}, journal = {Journal of Combinatorial Theory, Series B}, volume = {118}, pages = {228--267}, doi = {10.1016/j.jctb.2015.12.009}, ) @inproceedings(milius2015generic, author = {Stefan Milius and Dirk Pattinson and Lutz Schr{\"o}der}, year = {2015}, title = {Generic trace semantics and graded monads}, booktitle = {LIPIcs-Leibniz International Proceedings in Informatics}, volume = {35}, organization = {Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik}, doi = {10.4230/LIPIcs.CALCO.2015.253}, ) @article(roberson2013variations, author = {David E Roberson}, title = {Variations on a theme: Graph homomorphisms. {P}h{D}'s thesis, {U}niversity of {W}aterloo, 2013.}, url = {http://hdl.handle.net/10012/7814}, )