發送短信: A characterisation of the category of compact Hausdorff spaces