Re:Random Variable Algebra
by wvlia5 on Sunday July 11, 2021 @12:18AM
(#27798438)
It presents how every F defined on random variables maps to a F' defined on the probability distribution of such random variables, an isomorphism.
[ Parent
| on HN ]
I think parent was expecting to see things like operations between random variables and their typing system. I am trying to imagine how all of this could be derived from the isomorphism presented, but it's beyond my mathematical reach.