En teoría de categorías, la categoría de los espacios topológicos, usualmente denotada como formula_1, tiene a los espacios topológicos como objetos y a las funciones continuas entre ellos como morfismos; esto nos da una categoría porque la composición de dos funciones continuas es continua.