Álgebra de las funciones continuas: un funtor contravariante desde la categoría de los espacios topológicos (cuyos morfismos son las aplicaciones continuas) a la categoría de las álgebras asociativas reales, es dado asignando a cada espacio topológico"X" el álgebra C("X") de todas las funciones reales continuas sobre tal espacio.