Una dualidad tipo Gelfand - Priestley

Abstract

La teoría de categorías como herramienta matemática, juega un papel fundamental en el estudio de estructuras algebraicas y está siendo utilizada principalmente en ciencias de la computación y lógica multivaluada. Al establecer una equivalencia o equivalencia dual entre dos categorías, es posible intercambiar construcciones de la primera a la segunda y viceversa. En [7], Cignoli, Dubuc y Mundici probaron una equivalencia dual entre las categorías MV S[0, 1] de las MV -álgebras semisimples y la categoría Hauss de los espacios Haus- dorf compactos. Por su parte, en [30] J. Varela muestra la dualidad de Gelfand, entre las categorías Hauss y C ¿ (C) de las álgebras de Banach con unidad e involución. En este trabajo de investigación haremos un análisis de los funtores involucrados en estas dualidades, para presentar una equivalencia entre las categorías MV S[0, 1] y C * (C).