The step from probability measure to integral gets a universal property with the aid of ω-complete effect algebras and ω-complete effect modules.
doi | 10.1016/j.entcs.2015.12.015 |
---|---|
with | Bart Jacobs |
The step from probability measure to integral gets a universal property with the aid of ω-complete effect algebras and ω-complete effect modules.