INVESTIGADORES
DUBUC Eduardo Julio
congresos y reuniones científicas
Título:
MODELO GENERICO Y TOPOS CLASIFICANTE.
Autor/es:
DUBUC, EDUARDO J.
Lugar:
Cali
Reunión:
Encuentro; La Cuarta Escuela Nacional de Historia y Educación Matemática ENHEM4; 2013
Institución organizadora:
Universidad del Valle
Resumen:
Significado del concepto "clasificar", ejemplos. Teorias algebraicas clasifican modelos del algebra universal. Modelo generico en una categoria con productos finitos. Sintaxis es Semantica. Ampliacion de la logica. Logica geometrica. Categorias con limites finitos, topologias de Grothendieck, topos. Funtores playos, puntos de un topos. Modelo generico en un topos, topos clasificante.
