The d-separation criterion in Categorical Probability