Probability with Categories