category theory and probability theory