In de categorietheorie, een abstract deelgebied van de wiskunde, is de categorie van topologische ruimten, vaak aangeduid met Top, de categorie, waarvan topologische ruimten de objecten zijn en waarvan de morfismen allemaal continue afbeeldingen zijn. Wikipedia