Dos construcciones del producto categórico en Loc (Luis García)

Plática dada por Luis García (Instituto de de la UNAM, legh@ciencias.unam.mx) en el 50º Congreso Nacional de la Sociedad Matemática Mexicana el jueves 26 de octubre de 2017 en el Salón 001 del Yelizcalli en la de Ciencias de la UNAM

Resumen:
Dentro de la categoría de Locales (algebras de Heyting completas superior ), existe los productos conjuntos valuados el cual es un resultado conocido desde hace varias décadas con trabajos realizados por algunas personas como P. Jonhstone y otros matemáticos contemporáneos utilizando técnicas de C-ideales. En tiempos más recientes se realizó la construcción equivalente con técnicas sobre de relaciones saturadas sobre semirericulas inferiores. El objetivo de la plática es describir como este par de construcciones resultan
isomorfas dentro de la categoría y explicar las ventajas de una sobre la otra