Análisis de la derivada Cantor-Bendixson para un marco y el problema de la reflexión booleana

Ponente(s): Ana Belén Avilez García

La categoría de álgebras booleanas completas no es reflexiva como subcategoría de la categoría de marcos, la idea de medir este "defecto" se puede hacer mediante la torre de ensambles, es decir, localizaciones de un marco fijo. Existe otra forma de hacer lo anterior y el dispositivo que hace esto se le llama la derivada Cantor-Bendixson. En esta plática veremos como esta operación se levanta a la torre de ensambles y en efecto mide la booleanidad del marco en estudio.