Convexity, duality and effects

IFIP Advances in Information and Communication Technology

Volumn 323 AICT, Issue , 2010, Pages 1-19

  Jacobs, Bart ^a  

^a RADBOUD UNIVERSITY NIJMEGEN   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

PROBABILITY DISTRIBUTIONS; QUANTUM THEORY; SET THEORY;

ADJUNCTIONS; CONVEX SET; EFFECT ALGEBRA; FUNCTORS; MATHEMATICAL STRUCTURE; ONE-TIME; QUANTUM LOGIC; TRUTH VALUES;

ALGEBRA;

EID: 83655206351     PISSN: 18684238     EISSN: None     Source Type: Book Series    
DOI: 10.1007/978-3-642-15240-5_1     Document Type: Article

References (29)

1. Abramsky, S.: Domain theory in logical form. Ann. Pure & Appl. Logic 51(1/2), 1-77 (1991)
2. Baez, J.C., Stay, M.: Physics, topology, logic and computation: A Rosetta stone (2009), arxiv.org/abs/0903.0340
3. Barr, M., Wells, C.: Toposes, Triples and Theories. Springer, Berlin (1985); Revised and corrected version, www.cwru.edu/artsci/math/wells/pub/ttt.html
4. Busch, P., Grabowski, M., Lahti, P.: Operational Quantum Physics. Springer, Berlin (1995)
5. Coumans, D., Jacobs, B.: Scalars, monads and categories (2010), arxiv.org/abs/1003.0585
6. Doberkat, E.-E.: Eilenberg-Moore algebras for stochastic relations. Inf. & Comp. 204(12), 1756-1781 (2006); Erratum and addendum 206(12), 1476-1484 (2008)
7. Dvurěcenskij, A., Pulmannová, S.: New Trends in Quantum Structures. Kluwer Acad. Publ., Dordrecht (2000)
8. Flood, J.: Semiconvex geometry. Journ. Austr. Math. Soc., Series A 30, 496-510 (1981)
9. Foulis, D.J., Bennett, M.K.: Effect algebras and unsharp quantum logics. Found. Physics 24(10), 1331-1352 (1994)
10. Foulis, D.J., Greechie, R.J., Bennett, M.K.: The transition to unigroups. Int. Journ. Theor. Physics 37(1), 45-63 (1998)
11. Fritz, T.: Convex spaces I: Definition and examples (2009), arxiv.org/abs/0903.5522
12. Gudder, S.: A general theory of convexity. Milan Journal of Mathematics 49(1), 89-96 (1979)
13. Heunen, C., Jacobs, B.: Quantum logic in dagger kernel categories. Order (2010) doi:10.1007/s11083-010-9145-5
14. Jacobs, B.: Coalgebras and approximation. In: Nerode, A., Matiyasevich, Y.V. (eds.) LFCS 1994. LNCS, vol. 813, pp. 173-183. Springer, Heidelberg (1994)
15. Jacobs, B.: Semantics of weakening and contraction. Ann. Pure & Appl. Logic 69(1), 73-106 (1994)
16. Jacobs, B.: Involutive categories and monoids, with a GNS-correspondence. In: Quantum Physics and Logic, QPL (2010)
17. Jacobs, B., Mandemaker, J.: Coreflections in algebraic quantum logic. In: Quantum Physics and Logic, QPL (2010)
18. Johnstone, P.T.: Stone Spaces. Cambridge Studies in Advanced Mathematics, vol. 3. Cambridge Univ. Press, Cambridge (1982)
19. 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)
20. Keimel, K.: The monad of probability measures over compact ordered spaces and its Eilenberg-Moore algebras. Topology and its Applications 156, 227-239 (2008)
21. Kock, A.: Bilinearity and cartesian closed monads. Math. Scand. 29, 161-174 (1971)
22. Kock, A.: Closed categories generated by commutative monads. Journ. Austr. Math. Soc. XII, 405-424 (1971)
23. Manes, E.G.: Algebraic Theories. Springer, Berlin (1974)
24. Mac Lane, S.: Categories for the Working Mathematician. Springer, Berlin (1971)
25. von Neumann, J., Morgenstern, O.: Theory of Games and Economic Behavior. Princeton University Press, Princeton (1944)
26. Pulmannová, S., Gudder, S.: Representation theorem for convex effect algebras. Commentationes Mathematicae Universitatis Carolinae 39(4), 645-659 (1998), http://dml.cz/dmlcz/119041
27. Stone, M.H.: Postulates for the barycentric calculus. Ann. Math. 29, 25-30 (1949)
28. 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)
29. Vickers, S.: Topology Via Logic. Tracts in Theor. Comp. Sci, vol. 5. Cambridge Univ. Press, Cambridge (1989)