Categorías Accesibles y el Principio de Vopěnka
Ramón Abud Alcalá. Martes 13 de Noviembre de 2012, 17:00 horas.
Salón de Seminarios 3 Instituto de Matemáticas UNAM
Es posible construir para cada conjunto X una gráfica con conjunto subyacente X y rígida, es decir, una gráfica cuyo único endo- morfismo sea la identidad. El principio de Vopěnka afirma que no es posible encontrar una clase propia rígida de gráficas. Es posible demostrarque ésta afirmación es independiente de los axiomas de la teoría de conjuntos, aparte de que implica la existencia de cardinales extendibles. Se dará una introducción a las categorías localmente presentables y categorías accesibles. Y se demostrarán varias equivalencias del principio de Vopěnka en lenguaje categórico. Para esto se tendrá que atravesar por varios conceptos y teoremas que nos irán aclarando el panorama.