El axioma de Kock-Lawvere para geometría de aillos 5

Ponente: Andrés Alonso Flores Marín
Institución: Instituto de Matemáticas
Tipo de Evento: Investigación

Cuándo	05/05/2026 de 17:00 a 18:30
Dónde	Lobby del edificio nuevo del IMATE (a la entrada del auditorio Nápoles Gándara )
Agregar evento al calendario	vCal iCal

En esta charla estudiaremos las secciones 6 y 7 de “A Basis Theorem for 2 Rigs and Rig Geometry” en donde se construye el adjunto izquierdo de la inclusión de la categoría de aillos enteros (aillos donde 1+ x = 1) y el adjunto izquierdo de la inclusión de la categoría de retículas distributivas en aillos enteros. Con estos adjuntos probaremos el nullstellensatz para 2-aillos. Demostraremos que el topos de Gaeta de 2-esquemas afines clasifica la teoría de 2-aillos sin elementos booleanos y finalmente veremos que dicho topos satisface el axioma de Kock Lawvere.