Construcciones libres de puntos y el problema de la reflexión booleana

Autor: Luis Angel Zaldívar Corichi
La categoría de marcos se puede entender como una manifestación algebraica de la categoria de espacios topologicos. Muchas construcciones que se tienen en espacios topologicos tienen su realización en el sentido de marcos, este diccionario ayuda a entender varios problemas (y generar muchos otros ) de manera mas nítida.. En esta plática estaremos concentrados en dos situaciones: las construcciones libres-de-puntos de espacios-parche y la mónada de Vietoris.Veremos (de manera panorámica) la relación de estas construcciones alrededor del problema de la reflexion booleana (es decir asociar de manera universal un álgebra booleana completa a un marco dado ).