Үүнийг мессежээр илгээх: A characterisation of the category of compact Hausdorff spaces