Probabilities, distribution monads, and convex categories

Probabilities are understood abstractly as forming a monoid in the category of eect algebras. They can be added, via a partial operation, and multiplied. This generalises key properties of the unit interval [0; 1]. Such eect

[1]  Bart Jacobs,et al.  Convexity, Duality and Effects , 2010, IFIP TCS.

[2]  Sylvia Pulmannová,et al.  New trends in quantum structures , 2000 .

[3]  Bart Jacobs,et al.  Semantics of Weakening and Contraction , 1994, Ann. Pure Appl. Log..

[4]  Michael A. Arbib,et al.  Algebraic Approaches to Program Semantics , 1986, Texts and Monographs in Computer Science.

[5]  Samson Abramsky,et al.  A categorical semantics of quantum protocols , 2004, Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science, 2004..

[6]  Bart Jacobs,et al.  Scalars, Monads, and Categories , 2010, Quantum Physics and Linguistics.

[7]  Bart Jacobs,et al.  Quantum Logic in Dagger Kernel Categories , 2009, QPL@MFPS.

[8]  D. Foulis,et al.  Effect algebras and unsharp quantum logics , 1994 .

[9]  Sylvia Pulmannová,et al.  Representation theorem for convex effect algebras , 1998 .

[10]  G. M. Kelly,et al.  Coherence for compact closed categories , 1980 .

[11]  Jamie Vicary.  Categorical Properties of The Complex Numbers , 2011, Electron. Notes Theor. Comput. Sci..

[12]  Dov M. Gabbay,et al.  Handbook of Quantum logic and Quantum Structures , 2007 .

[13]  A. Kock.  Bilinearity and Cartesian Closed Monads. , 1971 .

[14]  Erik P. de Vink,et al.  A hierarchy of probabilistic system types , 2003, CMCS.

[15]  Sally Popkorn,et al.  A Handbook of Categorical Algebra , 2009 .

[16]  Bart Jacobs,et al.  Categorical Logic and Type Theory , 2001, Studies in logic and the foundations of mathematics.

[17]  M. Barr,et al.  Toposes, Triples and Theories , 1984 .

[18]  Chris Heunen,et al.  An embedding theorem for Hilbert categories , 2008, 0811.1448.

[19]  David J. Foulis,et al.  The Transition to Unigroups , 1998 .

[20]  James Stuart Tanton,et al.  Encyclopedia of Mathematics , 2005 .

[21]  Bart Jacobs,et al.  Coreflections in Algebraic Quantum Logic , 2012 .

[22]  Jamie Vicary,et al.  Completeness of dagger-categories and the complex numbers , 2008, 0807.2927.