Գրեք սա: A characterisation of the category of compact Hausdorff spaces