Una técnica para asegurar Cohesión de Gav(C,J).
Ponente: Luis Eduardo García Hérnandez
Institución: IMATE
Tipo de Evento: Investigación
Institución: IMATE
Tipo de Evento: Investigación
Cuándo |
03/10/2017 de 17:00 a 18:30 |
---|---|
Dónde | Sala 2 "de becarios" del Nuevo Edificio IMATE |
Agregar evento al calendario |
vCal iCal |
Dentro de teoría de categorías existen diversas estructuras que buscan modelar comportamientos generales dentro de las matemáticas. Una categoría cohesiva E (sobre una categoría S) es una colección de cuatro funtores entre E y S categorías extensivas y cartesianamente cerradas que forman tres adjunciones y satisfacen ciertos axiomas. El objetivo de la plática es describir una técnica aplicable a categorías con una noción de intervalo abstracto la cual asegura la cohesión de las gavillas sobre un sitio de Grothendieck relativo a la categoría de conjuntos.