pith. sign in

arxiv: 0911.3834 · v1 · submitted 2009-11-19 · 🧮 math.LO · math.CT

Duality for Convexity

classification 🧮 math.LO math.CT
keywords algebrasconvexdualisingeffectnamelyobjectsetsadjunctions
0
0 comments X
read the original abstract

This paper studies convex sets categorically, namely as algebras of a distribution monad. It is shown that convex sets occur in two dual adjunctions, namely one with preframes via the Boolean truth values {0,1} as dualising object, and one with effect algebras via the (real) unit interval [0,1] as dualising object. These effect algebras are of interest in the foundations of quantum mechanics.

This paper has not been read by Pith yet.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.