De Finetti's Theorem in Categorical Probability