أرسل هذا في رسالة قصيرة: A characterisation of the category of compact Hausdorff spaces