Topologías consistentes

Se introduce la categoría de los espacios topológicos consistentes y se muestra que el funtor que, a cada espacio topológico consistente, le asocia el conjunto ordenado por su orden de especialización, tiene como adjunto a izquierda al funtor que, a cada conjunto ordenado, le asocia el conjunto dotado con su topología de Scott, y como adjunto a derecha el funtor que, a cada conjunto ordenado, le asocia el conjunto dotado con su topología débil.

We introduce the category of consistent topological spaces and we show that the [unctor which associates lo a consistent topological space the set ordered by its specialization order has as lejt adjoint the functor which associates to a partial ordered set the set endowed with its Scott topology, and as right adjoint the functor which associates to a partial ordered set the set endowed with its weak topology.