Dos construcciones del producto categórico en Loc.

Autor: Luis Eduardo García Hernández
Dentro de la categoría de Locales (algebras de Heyting completas superior mente), 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 categoria y explicar las ventajas de una sobre la otra.