Abstract:There are two probability monads defined on the category of Polish spaces depending upon whether one uses measurable functions or continuous functions for the morphisms. In the first case the monad is called the $\mathcal{G}$-monad on standard Borel spaces, while the latter case yields the $\mathscr{P}$-monad on the category of Polish spaces. Given an arbitrary Polish space $X$ with a superconvex space structure we show there exist a $\mathcal{G}$-algebra ($\mathscr{P}$-algebra) on $X$ when $X$ satisfies the geometric convex space-metric space compatability condition $d_X(p x + (1-p) z, p y + (1-p) z) \le p\, d_X(x,y)$ for all points $x,y,z$ in $X$ and all $p \in [0,1]$. Every $\mathscr{P}$-algebra also specifies a $\mathcal{G}$-algebra but $\mathcal{G}$-algebras also arise from a discrete, and hence also mixed type, convex space structure on $X$ provided the discrete convex space structure is totally ordered as a poset. Those spaces which satisfy the compatability condition have a coseparator which allows us to establish the existence of the $\mathcal{G}$-algebras and $\mathscr{P}$-algebras. These algebras are the expectation operators $\mathcal{G}X \xrightarrow{\mathbb{E}_{\bullet}(\mathbf{1}_X)} X$ which come in two versions, measurable and continuous.

Joins and meets in effect algebras

Operation continuity of effect algebras

Pseudo-Effect Algebras and Pseudo-Difference Posets

Properties of the connective implication in effect algebras

Continuity of Effect Algebra Operations in the Interval Topology

Remarks on the Sequential Effect Algebras

Generalized Effect Algebras of Positive Self-adjoint Linear Operators on Hilbert Spaces

Interval topology of lattice effect algebras

Non-commutative effect algebras, L -algebras, and local duality

Measures on effect algebras

The Category of -Effect Algebras: Tensor Product and -Completion

Finite-Dimensional Convex Effect Algebras

Finite Classical and Quantum Effect Algebras

Representation of states on effect-tribes and effect algebras by integrals

Effect algebras with state operator

Congruence Preservation, Lattices and Recognizability

How the convex space-metric space compatability conditions determines Giry algebras on Polish spaces

Spectrality in convex sequential effect algebras

Residuation in lattice effect algebras

Hypercontact semilattices

$J$-equivalence for associative algebras