Si "X" es un espacio topológico, entonces los conjuntos abiertos en "X" pueden ser considerados como los objetos de una categoría "C"; existiendo un morfismo de "U" a "V" si y sólo si "U" es un subconjunto de "V".