Empirical Measures and Strong Laws of Large Numbers in Categorical Probability (Logical Methods in Computer Science, 2026)