A characterisation of the category of compact Hausdorff spaces