Anfonwch hwn fel neges destun: A characterisation of the category of compact Hausdorff spaces