funtor de piedra
En matemáticas , el funtor de Stone es un funtor S : Top op → Bool , donde Top es la categoría de espacios topológicos y Bool es la categoría de álgebras booleanas y homomorfismos booleanos . Asigna a cada espacio topológico X el álgebra booleana S ( X ) de sus subconjuntos cerrados , y a cada morfismo f op : X → Y en Topop (es decir, un mapa continuo f : Y → X ) el homomorfismo S ( f ): S ( X ) → S ( Y ) dado por S ( f )( Z ) = f −1 [ Z ].
