Abstract
This paper describes some basic relationships between mathematical structures that are relevant in quantum logic and probability, namely convex sets, effect algebras, and a new class of functors that we call ‘convex functors’; they include what are usually called probability distribution functors. These relationships take the form of three adjunctions. Two of these three are ‘dual’ adjunctions for convex sets, one time with the Boolean truth values {0,1} as dualising object, and one time with the probablity values [0,1]. The third adjunction is between effect algebras and convex functors.
Chapter PDF
Similar content being viewed by others
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
Abramsky, S.: Domain theory in logical form. Ann. Pure & Appl. Logic 51(1/2), 1–77 (1991)
Baez, J.C., Stay, M.: Physics, topology, logic and computation: A Rosetta stone (2009), arxiv.org/abs/0903.0340
Barr, M., Wells, C.: Toposes, Triples and Theories. Springer, Berlin (1985); Revised and corrected version, www.cwru.edu/artsci/math/wells/pub/ttt.html
Busch, P., Grabowski, M., Lahti, P.: Operational Quantum Physics. Springer, Berlin (1995)
Coumans, D., Jacobs, B.: Scalars, monads and categories (2010), arxiv.org/abs/1003.0585
Doberkat, E.-E.: Eilenberg-Moore algebras for stochastic relations. Inf. & Comp. 204(12), 1756–1781 (2006); Erratum and addendum 206(12), 1476–1484 (2008)
Dvurečenskij, A., Pulmannová, S.: New Trends in Quantum Structures. Kluwer Acad. Publ., Dordrecht (2000)
Flood, J.: Semiconvex geometry. Journ. Austr. Math. Soc., Series A 30, 496–510 (1981)
Foulis, D.J., Bennett, M.K.: Effect algebras and unsharp quantum logics. Found. Physics 24(10), 1331–1352 (1994)
Foulis, D.J., Greechie, R.J., Bennett, M.K.: The transition to unigroups. Int. Journ. Theor. Physics 37(1), 45–63 (1998)
Fritz, T.: Convex spaces I: Definition and examples (2009), arxiv.org/abs/0903.5522
Gudder, S.: A general theory of convexity. Milan Journal of Mathematics 49(1), 89–96 (1979)
Heunen, C., Jacobs, B.: Quantum logic in dagger kernel categories. Order (2010) doi:10.1007/s11083-010-9145-5
Jacobs, B.: Coalgebras and approximation. In: Nerode, A., Matiyasevich, Y.V. (eds.) LFCS 1994. LNCS, vol. 813, pp. 173–183. Springer, Heidelberg (1994)
Jacobs, B.: Semantics of weakening and contraction. Ann. Pure & Appl. Logic 69(1), 73–106 (1994)
Jacobs, B.: Involutive categories and monoids, with a GNS-correspondence. In: Quantum Physics and Logic, QPL (2010)
Jacobs, B., Mandemaker, J.: Coreflections in algebraic quantum logic. In: Quantum Physics and Logic, QPL (2010)
Johnstone, P.T.: Stone Spaces. Cambridge Studies in Advanced Mathematics, vol. 3. Cambridge Univ. Press, Cambridge (1982)
Johnstone, P.T., Vickers, S.: Preframe presentations present. In: Carboni, A., Pedicchio, M.C., Rosolini, G. (eds.) Como Conference on Category Theory. Lect. Notes Math., vol. 1488, pp. 193–212. Springer, Berlin (1991)
Keimel, K.: The monad of probability measures over compact ordered spaces and its Eilenberg-Moore algebras. Topology and its Applications 156, 227–239 (2008)
Kock, A.: Bilinearity and cartesian closed monads. Math. Scand. 29, 161–174 (1971)
Kock, A.: Closed categories generated by commutative monads. Journ. Austr. Math. Soc. XII, 405–424 (1971)
Manes, E.G.: Algebraic Theories. Springer, Berlin (1974)
Mac Lane, S.: Categories for the Working Mathematician. Springer, Berlin (1971)
von Neumann, J., Morgenstern, O.: Theory of Games and Economic Behavior. Princeton University Press, Princeton (1944)
Pulmannová, S., Gudder, S.: Representation theorem for convex effect algebras. Commentationes Mathematicae Universitatis Carolinae 39(4), 645–659 (1998), http://dml.cz/dmlcz/119041
Stone, M.H.: Postulates for the barycentric calculus. Ann. Math. 29, 25–30 (1949)
Swirszcz, T.: Monadic functors and convexity. Bull. de l’Acad. Polonaise des Sciences. Sér. des sciences math., astr. et phys. 22, 39–42 (1974)
Vickers, S.: Topology Via Logic. Tracts in Theor. Comp. Sci, vol. 5. Cambridge Univ. Press, Cambridge (1989)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2010 IFIP
About this paper
Cite this paper
Jacobs, B. (2010). Convexity, Duality and Effects. In: Calude, C.S., Sassone, V. (eds) Theoretical Computer Science. TCS 2010. IFIP Advances in Information and Communication Technology, vol 323. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-15240-5_1
Download citation
DOI: https://doi.org/10.1007/978-3-642-15240-5_1
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-15239-9
Online ISBN: 978-3-642-15240-5
eBook Packages: Computer ScienceComputer Science (R0)