Kategorie für mathematische Räume, die die Axiome eines topologischen Raums erfüllen.