Category talk:Algebra of random variables