Sesión Lógica y Computabilidad

Adjuntos para funtores olvidadizos entre variedades y estructuras relacionales definidas por identidades

Joel Kuperman

CIEM - FaMAF, Argentina   -   Esta dirección de correo electrónico está siendo protegida contra los robots de spam. Necesita tener JavaScript habilitado para poder verlo.

En esta charla presentaremos un resultado que permite construir adjuntos a izquierda para una amplia familia de funtores olvidadizos. Dada una variedad y una relación $R$ definida por una conjunción finita de identidades, es posible construir una adjunción entre dicha variedad y la categoría de estructuras relacionales que incorporan $R$.

Como aplicación concreta, analizaremos el caso de una adjunción entre las categorías de bandas regulares a derecha (RRBs) y la categoría formada por ciertos conjuntos parcialmente ordenados, conocidos como posets asociativos. La motivación inicial proviene del estudio de cómo dotar a un poset asociativo dado de una estructura de banda, una cuestión que no puede resolverse en general sin recurrir al Axioma de Elección [K et al, "Definability of Band Structures on Posets"]. Este ejemplo sirvió de punto de partida para el desarrollo del resultado general que presentaremos.

Trabajo en conjunto con: Pedro Sánchez Terraf (Universidad Nacional de Córdoba, Argentina).

Ver resumen en PDF