Re: category theory and probability theory