Centro de Investigación en Teoría de Categorías y sus Aplicaciones, A.C.
CINVCAT

 
Coloquio de Categorías, Álgebra y Temas Afines


Del 15 al 16 de enero de 2018.
Instituto de Matemáticas CU, UNAM.



Comité Organizador

Adrián Vázquez Márquez,
Ángel Zaldívar Corichi,
Enrique Ruiz Hernández,
Luis Jesús Turcio Cuevas.



Propósito:

Reunir en un mismo espacio a especialistas en categorías y álgebras para que expongan su investigación y generar, de esta forma, un ambiente propicio para el intercambio de ideas que ayuden a crear vínculos académicos y de investigación así como reforzar los ya existentes.


Horario
Programa
Programa, 1/2 carta


Lunes 15 de enero
Salón Graciela Salicrup

 

10:55 - 11:00 hrs

Inauguración

11:00 - 11:55 hrs Ramón Abud Alcalá - Macquarie University

Título: Coalgebroides en bicategorías monoidales y acciones oplaxas

Resumen: La plática estará centrada en el concepto de coalgebroide, el cual es parte de la estructura subyacente de un bialgebroide. Szlachányi caracteriza a los bialgebroides como estructuras monoidales oblicuas sobre categorías de módulos $\mathsf{Mod}$-$R$. Lack y Street generalizan este resultado en el contexto de una bicategoría monoidal. A través de una equivalencia similar uno puede caracaterizar a los coalgebroides como ciertas acciones oplaxas. Por otro lado, los coalgebroides pueden ser organizados como las flechas de una bicategoría cuyas mónadas son los bialgebroides. Desafortunadamente, las acciones oplaxas, en su mayor generalidad, probablemente no se pueden organizar como las flechas de una bicategoría. Este problema se resuelve organizándolas como los 1-simplices de un conjunto simplicial. Si uno define adecuadamente mónadas dentro de conjuntos simpliciales, uno puede demostrar que las mónadas del conjunto simplicial de acciones oplaxas son precisamente los objetos monoidales oblicuos de la bicategoría monoidal ambiente.

12:00 - 12:55 hrs Francisco Marmolejo Rivas - IMATE CU UNAM

Título: La cualidad intensiva canónica de un topos precohesivo

Resumen:  En el contexto de Cohesión Axiomática de Lawvere, cada morfismo geométrico tiene asociada una cualidad intensiva canónica. En esta plática revisamos algunas de las propiedades básicas de dicha categoría; además, la relacionamos con resultados sobre morfismos geométricos que preservan pedazos. Hablaremos brevemente sobre objetos Birkhoff.

13:00 - 13:55 hrs Hugo Juárez Anguiano - UAM Iztapalapa

Título: Todos los caminos llevan a la compacidad

Resumen:  En esta plática revisaremos la compacidad categórica con respecto a un operador de cerradura. Veremos lo que ha ocurrido desde sus orígenes hasta nuestros días. Partiremos desde un punto de vista general para después enfocarnos en ejemplos en categorías como Top, R-Mod, R-ModTop, Grp, TopGrp, ParaTopGr. Finalicaremos con algunos problemas abiertos que a mi parecer son interesantes.

14:00 - 15:55 hrs

Comida

16:00 - 16:55 hrs Omar Antolín Camarena - IMATE CU UNAM

Título: Teoría homotópica básica desde el punto de vista  (∞,1)-categórico

Resumen:  Mostraré varios ejemplos sencillos de cómo la teoría de (∞,1)-categorías proporciona herramientas cómodas para entender la teoría de homotopía: la construcción de Grothendieck permite desarrollar muy convenientemente la teoría de espacios cubrientes, el teorema del funtor
adjunto permite construir las secciones de Postnikov, etc
.

17:00 - 17:55 hrs Adrián Vázquez Márquez - UIW y CinvCat

Título: Adjunciones paramétricas de Hopf a través de la 2-adjunción del tipo Adj-Mnd

Resumen:  En el artículo Hopf monads on monoidal categories de A. Bruguières, S. Lack y A. Virelizier definen una mónada de Hopf como una mónada opmonoidal cuyo operador de fusión es invertible. En esta charla, se extenderá dicha definición a una *adjunción paramétrica de Hopf* tanto en la 2-categoría de adjunciones como en la 2-categoría de mónadas. Asimismo, se relacionarán dichos conceptos usando la 2-adjunción del tipo Adj-Mnd.


Martes 16 de enero.
Salón Graciela Salicrup

 

11:00 - 11:55 hrs Edith Mireya Vargas García - ITAM

Título: A gentle introduction to clones and their applications

Resumen:  En esta plática mencionaré la importancia del estudio de Clones tanto en las matemáticas (álgebra universal), como en las ciencias de la computación. Empezaré con una introducción gentil a clones, resumiendo los resultados en la teoría de clones y concentrándome en los más recientes. Finalmente, mencionaré la conexión de clones con la identicación de las subclases solubles en tiempo polinomial de los Problemas de Satisfacción de Restricciones (Constraint Satisfaction Problems (CSPs)) y si el tiempo lo permite, daré los resultados obtenidos en la reconstrucción de la topología natural que se encuentra en los clones.

12:00 - 12:55 hrs Octavio Alberto Agustín Aquino - Universidad Tecnológica de la Mixteca

Título: Denotators

Resumen:  My ambitious aim for this talk is to introduce Mazzola's constructions of forms and denotators within the context of the topos of presheaves on the category of modules. These are the building blocks of local and global compositions, which are a powerful framework to understand and create music.

13:00 - 13:55 hrs Carlos Segovia González - IMATE Oaxaca UNAM

Título: Teorías topológicas cuánticas de campos en altas dimensiones y esferas exóticas

Resumen:  La historia del descubrimiento de las esferas exóticas por parte de Milnor, motivó a Markus Banagl a la elaboración de una maquinaria para construir teorías topológicas cuánticas de campos en altas dimensiones. Dichas estructuras dan invariantes de esferas exóticas. En esta plática explicaremos como esta maquinaria es una nueva construcción categórica que toma como entradas un conjunto de campos, un semi-anillo completo y una acción valuada para producir una teoría topológica cuántica de campos.

14:00 - 15:55 hrs

Comida

16:00 - 16:55 hrs Luis Jesús Turcio Cuevas - IMATE CU UNAM

Título: Una situación precohesiva para los topos de Gaeta y Zariski

Resumen:  En esta plática veremos cómo construir una situación precohesiva en los topos de Gaeta y Zariski sobre conjuntos, a pesar de que, en estas situaciones, el sitio de definición de los topos tiene una categoría donde hay un objeto sin puntos. Esto último va en contra de la equivalencia de Johnstone para la existencia de morfismos precohesivos hacia conjuntos.

17:00 - 17:55 hrs Enrique Ruiz Hernández - CinvCat

Título: El producto de Zappa-Szép y leyes distributivas

Resumen:  Se mostrará la relación entre el producto de Zappa-Szép y las leyes distributivas, y los caminos posibles a los que nos puede llevar tal relación.

17:56 - 18:00 hrs

Clausura




 


Volver a la página principal