INVESTIGADORES
VIGLIZZO Ignacio Dario
congresos y reuniones científicas
Título:
Coálgebras: aplicaciones, lenguajes y dualidad
Autor/es:
IGNACIO VIGLIZZO
Lugar:
Universidad Nacional de Cuyo, Mendoza
Reunión:
Congreso; LVIII Reunión Anual de la Unión Matemática Argentina; 2008
Institución organizadora:
Unión Matemática Argentina
Resumen:
Una coálgebra para un endofuntor F es un objeto X junto con un morfismo c:X-> F(X). Presentaremos algunas aplicaciones de la teoría de coálgebras: conjuntos no bien fundados, estructuras de datos infinitas en ciencias de la computación y lógica modal. Veremos distintas generalizaciones de la lógica modal a través de lenguajes derivados de ciertos funtores y concluiremos mostrando algunas conexiones con la lógica algebraica.
