Teorías de Lawvere 2

Ponente: Alba Celeste Nieves Ibarra
Institución: Instituto de Matemáticas
Tipo de Evento: Investigación

Cuándo	04/11/2025 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

Dado un endofuntor H en conjuntos, podemos construir las álgebras para H, como los pares (A,a) donde A es un conjunto y a morfismo entre HA y A. Las álgebras para H definen una categoría la cual denotamos por H-Álg, si H preserva colimites filtrantes la categoría H-Álg tiene objeto inicial, usaremos este hecho para construir las H álgebras libres, además mostramos la estrecha relación entre funtores polinomiales y los modelos para un lenguaje formal.