Resumen de Construcción de álgebras en computación
EN LA MEMORIA SE REALIZA UN DESARROLLO COMPLETO DE LA TEORIA DE CONSTRUCCION DE ALGEBRAS, ESTUDIANDOSE LAS DISTINTAS DUALIZACIONES DENTRO DE LA 2-CATEGORIA DE CATEGORIAS, FUNTORES Y TRANSFORMACIONES NATURALES, SE DETALLAN LAS APLICACIONES EN PROGRAMACION FUNCIONAL Y EN LOGICA DE LA TEORIA DE ALGEBRAS, QUE PERMITEN IMPLEMENTACIONES SIN TENER QUE REFERIRSE A LA ESTRUCTURA INTERNA DE LOS OBJETOS.
