It is proved that the epimorphisms in the category of compact groups are surjective. The proof is based on the representation theory of compact groups, especially on the well-known fact, that for a closed proper subgroup H of a compact group G there exists an irreducible representation of G which, when restricted to H, contains the unit representation.