The D-Separation Criterion in Categorical Probability