Groups
Category
Linearity of expectation says the expected value of a sum equals the sum of expected values, even if the variables are dependent.
Burnside's Lemma says the number of distinct objects up to a symmetry group equals the average number of objects fixed by each symmetry.