La razón de que tomemos la categoría opuesta es que cada función continua "f": "X" → "Y" entre los espacios topológicos induce una función entre los reticulados de conjuntos abiertos "en la dirección opuesta": cada conjunto abierto "O" en "Y" es mapeado al conjunto abierto "f"("O") en "X".