Aula 8
Organizado polo Centro de Investigación e Tecnoloxía Matemática de Galicia (CITMAga)
Isaac Carcacía Campos
Investigador colaborador propio do CITMAga
Chair: Jesús Antonio Álvarez López
La noción habitual de topología se construye a partir de la idea de un conjunto con estructura, a menudo definida a través de las nociones de abierto, cerrado, operador clausura, bases o herramientas análogas. A través de ellas podemos definir las propiedades topológicas más habituales como conexidad, frontera, compacidad... Sin embargo es posible introducir tales nociones a partir de estructuras diferentes, en concreto Algebras y Coálgebras de Heyting, ambos casos de estructuras más "débiles" que las Algebras Booleanas. A su vez, ambas nociones tienen una fuerte relación con lógicas no clásicas (intuicionistas y paraconsistentes). El objetivo de la charla será establecer esta forma de establecer las nociones habituales en topología y ver las conexiones que existen entre ambas formas de introducir los conceptos topológicos.