Categorie van topologische ruimten

In de categorietheorie, een abstract deelgebied van de wiskunde, is de categorie van topologische ruimten, vaak aangeduid met Top, de categorie, waarvan de objecten topologische ruimten zijn en waarvan de morfismen continue afbeeldingen zijn. Dit is een categorie, omdat de samenstelling van twee continue afbeeldingen weer continu is. De studie van Top en van de eigenschappen van topologische ruimten met behulp van de technieken van de categorietheorie staat bekend als de categorische topologie.

N.B. Sommige auteurs gebruiken de naam Top voor de categorie met topologische variëteiten als objecten en continue afbeeldingen als morfismen.