Category Bayes Theorem