Is there any developed framework for algebraizing probability theory and study it from the perspective of K-theory or homological algebra? If so, what are some of its biggest applications and advantages, as well as results? I'd imagine such a framework would override the need for a measure-theoretic approach #science