Si interpretamos el espacio topológico "X" como categoría, con los conjuntos abiertos siendo los objetos y un morfismo de "U" a "V" si y solamente si "U" es un subconjunto de "V", entonces "F" se revela como funtor contravariante de esta categoría en la categoría de conjuntos.