Cohesión Axiomática: 2) Morfismos geométricos esenciales y locales entre pregavillas
Ponente: Francisco Marmolejo
Institución: IM-UNAM
Tipo de Evento: Investigación
Institución: IM-UNAM
Tipo de Evento: Investigación
Cuándo |
27/09/2016 de 17:00 a 18:30 |
---|---|
Dónde | Sala 2 del Nuevo Edificio IMATE |
Agregar evento al calendario |
vCal iCal |
Demostraremos que todo morfismo geométrico esencial y local \(Con^{C^{op}} \) \(\to\) \(Con^{B^{op}} \) está inducido por un par de funtores adjuntos \( (F:C \to B) \dashv (G: B\to C) \) con \( G \) fiel y pleno, siempre que la categoría \(B\) sea Cauchy-completa.