Coigualadores en categorías de álgebras
Ponente: Enrique Ruiz Hernández
Tipo de Evento: Investigación
Tipo de Evento: Investigación
Cuándo |
13/10/2015 de 17:00 a 13:30 |
---|---|
Dónde | Sala 2 del Nuevo Edificio IMATE |
Agregar evento al calendario |
vCal iCal |
Es bien sabido que los límites en una categoría de álgebras sobre \( A\), en particular en la categoría \( A^T \), donde \(T\) es una mónada, se pueden calcular en \(A\). A pesar de que tal afirmación es falsa en general para colímites, ciertas construcciones de colímites se pueden llevar a cabo en \(A^T\) con tal que se pueden realizar en \(A\) y con tal que \(A^T\) tenga suficientes coigualadores. Los coigualadores que por lo menos \(A^T\) tiene que tener son los de pares reflexivos. Veremos entonces construcciones de colímites en \(A^T\) usando coigualadores de pares reflexivox.