Coigualadores en categorías de álgebras

Ponente: Enrique Ruiz Hernández
Tipo de Evento: Researcher

When	Oct 13, 2015 from 05:00 PM to 01:30 PM
Where	Sala 2 del Nuevo Edificio IMATE
Add event to calendar	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.