References

  1. Samson Abramsky & Adam Brandenburger (2011): The Sheaf-Theoretic Structure of Non-Locality and Contextuality. New Journal of Physics 13:113036, doi:10.1088/1367-2630/13/11/113036.
  2. Samson Abramsky, Shane Mansfield & Rui Soares Barbosa (2012): Presheaf Models for Concurrency. In: Bart Jacobs, Peter Selinger & Bas Spitters: Proceedings 8th International Workshop on Quantum Physics and Logic (QPL 2011), Electronic Proceedings in Theoretical Computer Science 95, pp. 1–14, doi:10.4204/EPTCS.95.1.
  3. John Baez, Tobias Fritz & Tom Leinster (2011): A Characterization of Entropy in Terms of Information Loss. Available at http://arxiv.org/abs/1106.1791.
  4. Alexandru Baltag & Sonja Smets (2006): LQP: The Dynamic Logic of Quantum Information. Mathematical Structures in Computer Science 16, pp. 491–525, doi:10.1017/S0960129506005299.
  5. Jonathan Barrett (2007): Information Processing in Generalized Probabilistic Theories. Physical Review A 75:032304, doi:10.1103/PhysRevA.75.032304.
  6. Aurelio Carboni & Robert F. C. Walters (1987): Cartesian Bicategories I. Journal of Pure and Applied Algebra 49, pp. 11–32, doi:10.1016/0022-4049(87)90121-6.
  7. Gian Luca Cattani & Glynn Winskel (1997): Presheaf Models for Concurrency. In: Dirk van Dalen & Marc Bezem: Computer Science Logic: 10th International Workshop, CSL'96, Lecture Notes in Computer Science 1258. Springer, pp. 58–75, doi:10.1007/3-540-63172-0_32.
  8. Ernst-Erich Doberkat (2007): Stochastic Relations: Foundations for Markov Transition Systems. Chapman & Hall/CRC, doi:10.1201/9781584889427.
  9. Brendan Fong (2012): Causal Theories: A Categorical Perspective on Bayesian Networks. University of Oxford.
  10. Peter J. Freyd & Andre Scedrov (1990): Categories, Allegories. North-Holland.
  11. Tobias Fritz (2009): A Presentation of the Category of Stochastic Matrices. Available at http://arxiv.org/abs/0902.2554.
  12. Michèle Giry (1982): A Categorical Approach to Probability Theory. In: B. Banaschewski: Categorical Aspects of Topology and Analysis, Lecture Notes in Mathematics 915. Springer, pp. 68–85, doi:10.1007/BFb0092872.
  13. Lucien Hardy (1993): Nonlocality for Two Particles without Inequalities for Almost All Entangled States. Physical Review Letters 71, pp. 1665–1668, doi:10.1103/PhysRevLett.71.1665.
  14. David Harel, Dexter Kozen & Jerzy Tiuryn (2000): Dynamic Logic. MIT Press.
  15. Claudio Hermida (2011): A Categorical Outlook on Relational Modalities and Simulations. Information and Computation 209, pp. 1505–1517, doi:10.1016/j.ic.2010.09.009.
  16. Bart Jacobs (2010): Convexity, Duality and Effects. In: Christian S. Calude & Vladimiro Sassone: Theoretical Computer Science: 6th IFIP TC 1/WG 2.2 International Conference, TCS 2010. Springer, pp. 1–19, doi:10.1007/978-3-642-15240-5_1.
  17. Bart Jacobs (2011): Probabilities, Distribution Monads, and Convex Categories. Theoretical Computer Science 412, pp. 3323–3336, doi:10.1016/j.tcs.2011.04.005.
  18. F. William Lawvere (1962): The Category of Probabilistic Mappings. Unpublished manuscript.
  19. Ernie Manes & Philip Mulry (2007): Monad Compositions I: General Constructions and Recursive Distributive Laws. Theory and Applications of Categories 18, pp. 172–208. Available at http://www.tac.mta.ca/tac/volumes/18/7/18-07abs.html.
  20. N. David Mermin (1981): Quantum Mysteries for Anyone. Journal of Philosophy 78, pp. 397–408, doi:10.2307/2026482.
  21. Prakash Panangaden (1998): Probabilistic Relations. In: C. Baier, M. Huth, M. Kwiatkowska & M. Ryan: Preliminary Proceedings of PROBMIV'98, pp. 59–74.
  22. Prakash Panangaden (1999): The Category of Markov Kernels. Electronic Notes in Theoretical Computer Science 22, pp. 171–187, doi:10.1016/S1571-0661(05)80602-4.
  23. Sandu Popescu & Daniel Rohrlich (1994): Quantum Nonlocality as an Axiom. Foundations of Physics 24, pp. 397–385, doi:10.1007/BF02058098.
  24. Kimmo I. Rosenthal (1996): The Theory of Quantaloids. Addison Wesley.
  25. PawełSobociński (2012): Relational Presheaves as Labelled Transition Systems. In: Dirk Pattinson & Lutz Schröder: Coalgebraic Methods in Computer Science, Lecture Notes in Computer Science 7399. Springer, pp. 40–50, doi:10.1007/978-3-642-32784-1_3.
  26. Daniele Varacca (2003): Probability, Nondeterminism and Concurrency: Two Denotational Models for Probabilistic Computation. University of Aarhus.
  27. Glynn Winskel & Mogens Nielsen (1997): Presheaves as Transition Systems. In: Doron Peled, Vaughan R. Pratt & Gerard J. Holzmann: Partial Order Methods in Verification: DIMACS Workshop July 24–26, 1996. American Mathematical Society, pp. 129–140.
Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org