Abraham Westerbaan

github

An Effect-Theoretic Account of Lebesgue Integration

19 May 2015 [ preprint · slides ]

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.