SEMINARIO GNC

El seminario GNC, abierto a todo el público interesado, es organizado por los miembros del grupo de Geometría No Conmutativa.

Próxima reunión:

Reuniones anteriores

Año 2018 (Seminario de ∞-categorías)

En el próximo encuentro veremos que todo conjunto simplicial es equivalente débil a su opuesto. Además, probaremos que los objetos iniciales satisfacen la idea previa que teníamos de los mismos, en el sentido de que x es inicial si y solo si map(x,c) es contraíble para todo c en la quasicategoría, y de manera similar para objetos terminales. Por último, definiremos el join y el slice alternativos, y veremos algunas propiedades de los mismos.

En el próximo encuentro veremos la definición de categoría de modelos cartesiana, y probaremos que las estructuras dadas a los conjuntos simpliciales son de este tipo. Además, estudiaremos las adjunciones que son pares de Quillen, y las aplicaciones de estos a algunos ejemplos de colímites homotópicos.

En el próximo encuentro veremos la definición de categoría de modelos, y cómo todo lo estudiado hasta ahora se aplica para ver que las teorías de quasicategorías y quasigrupoides nos dan estructuras de modelos en la categoría de los conjuntos simpliciales.

Terminaremos la demostración del Teorema Fundamental de las Cuasicategorías: si f es un funtor plenamente fiel y esencialmente suryectivo entre cuasicategorías, entonces f es una equivalencia categórica.

En el siguiente encuentro definiremos las cuasigrupoidificaciones, viendo que surgen de manera natural a partir de ciertas descomposiciones de morfismos anodinos. También estudiaremos las fibraciones de caminos entre cuasicategorías y veremos algunas propiedades de las mismas.

En el siguiente encuentro definiremos las cuasigrupoidificaciones, viendo que surgen de manera natural a partir de ciertas descomposiciones de morfismos anodinos. También estudiaremos las fibraciones de caminos entre cuasicategorías y veremos algunas propiedades de las mismas.

Daremos distintas caracterizaciones de la noción de isofibración entre cuasicategorías.

Daremos distintas caracterizaciones de la noción de isofibración entre cuasicategorías.

Probaremos que una fibración de Kan es fibración trivial si y solo si todas sus fibras son complejos de Kan contráctiles. Usando este resultado, demostraremos el teorema fundamental para morfismos entre complejos de Kan: un morfismo entre complejos de Kan es equivalencia categórica si y solo si es plenamente fiel y esencialmente suryectivo.

Probaremos que, para una fibración de Kan entre complejos de Kan, son equivalentes: ser fibración trivial, ser equivalencia débil, ser retracto por deformación en las fibras, y tener fibras contráctiles.

Definiremos los morfismos anodinos y veremos algunas propiedades de ellos, por ejemplo, que son equivalencias débiles. Estudiaremos también el isomorfismo universal, y lo utilizaremos para caracterizar los isomorfismos en cualquier cuasicategoría. Finalmente veremos una condición que simplifica el enunciado del teorema fundamental, para el caso de complejos de Kan.

Probaremos que la propiedad de ser plenamente fiel es preservada por isomorfismos naturales. Comenzaremos a estudiar también las equivalencias débiles y las equivalencias homotópicas simpliciales. Finalmente, definiremos los morfismos anodinos,y veremos algunas propiedades de ellos.

En el próximo encuentro estudiaremos los funtores fielmente plenos y esencialmente suryectivos. Enunciaremos con esto el teorema fundamental, que dice que los funtores de este tipo son precisamente las equivalencias categóricas. Comenzaremos a estudiar también las equivalencias débiles y algunas propiedades de los morfismos anodinos.

Definiremos el espacio de morfismos entre dos objetos x e y de una cuasicategoría C y probaremos que es un complejo de Kan. Probaremos que el pi_0 del espacio de morfismos de x en y está en biyección natural con el conjunto de morfismos de x en y en la categoría de homotopía de C. Discutiremos cómo definir una composición a nivel de espacios de morfismos y veremos que la composición es asociativa a menos de homotopía.

Probaremos distintas aplicaciones de los teoremas de extensión y levantamiento de Joyal. Entre otros resultados, veremos que los cuasigrupoides son complejos de Kan y probaremos que una transformación natural entre funtores de cuasicateorías es un isomorfismo natural si y solo si induce un isomorfismo en cada objeto.

En el próximo encuentro enunciaremos y probaremos el problema de extensión y el de levantamiento de Joyal, utilizando para ello las isofibraciones. Estos problemas nos permitirán probar que los cuasigruopides son precisamente los complejos de Kan.

En este encuentro estudiaremos cómo definir los límites y colímites en quasicategorías, y los caracterizaremos cómo ciertas fibraciones triviales entre dos slice quasicategorías. También definiremos las isofibraciones y las utilizaremos para probar el teorema de extensión de Joyal.

Definiremos las nociones de objeto inicial y objeto final en una cuasicategoría. Probaremos que un objeto x de una cuasicategoría C es inicial/final sii el funtor olvido desde la correspondiente categoría slice es una fibración trivial. Probaremos la unicidad de los objetos iniciales/finales en el contexto de cuasicategorías.

Estudiaremos cómo definir el join y el slice en quasicategorías, la adjunción que aparece entre ellas naturalmente, y cómo extienden estas definiciones a las ya conocidas para categorías en general.

Estudiaremos cómo definir el join y el slice en quasicategorías, la adjunción que aparece entre ellas naturalmente, y cómo extienden estas definiciones a las ya conocidas para categorías en general.

Probaremos que las extensiones anodinas internas son equivalencias categóricas. Definiremos la categoría de homotopía de cuasicategorías. Probaremos que la noción de equivalencia categórica coincide con la de equivalencia categórica débil definida por Joyal.

Discutiremos la noción de equivalencia categórica entre cuasicategorías y, más generalmente, entre conjuntos simpliciales cualesquiera. Probaremos que las fibraciones triviales y las extensiones anodinas internas son equivalencias categóricas.

Discutiremos la noción de equivalencia categórica entre cuasicategorías y, más generalmente, entre conjuntos simpliciales cualesquiera. Probaremos que las fibraciones triviales y las extensiones anodinas internas son equivalencias categóricas.

En el próximo encuentro continuaremos con los conceptos de producto pushout y potencia pullback, y algunas propiedades de los mismos, como los levantamientos enriquecidos. Como consecuencia obtendremos que el espacio de funciones es una cuasicategoría, y daremos otra caracterización de estas últimas.

En el próximo encuentro daremos una caracterización de los monomorfismos como clase saturada. Veremos los conceptos de producto pushout y potencia pullback, y algunas propiedades de los mismos. Como consecuencia obtendremos que el espacio de funciones es una cuasicategoría, y daremos otra caracterización de estas últimas.

En el próximo encuentro veremos la noción de espacio de morfismos, la cual busca generalizar la categoría de funtores entre categorías. El mismo resultará ser a su vez una quasicategoría. Para poder probar este último hecho, necesitaremos desarrollar antes algunos conceptos, cómo la caracterización de los monomorfismos como la saturación de una clase particular de morfismos (las inclusiones de bordes en sus respectivos simples).

Definiremos el problema de levantamiento asociado a un par de morfismos en una categoría. Sea B una clase de morfismos en una categoría cocompleta C. Probaremos que los morfismos de C que tienen la propiedad de levantamiento a izquierda con respecto a cualquier morfismo de B forman una clase saturada. Mediante el argumento del objeto pequeño, probaremos que todo morfismo f en C se factoriza como f=pj, donde j está en la saturación de B y p tiene la propiedad de levantamiento a derecha con respecto a cualquier morfismo de B. En particular, mostraremos que todo morfismo de conjuntos simpliciales se factoriza como un morfismo anodino interno seguido de una fibración interna.

Continuamos con el estudio de las quasicategorías, siguiendo como guía el artículo "Stuff about quasicategories", de C. Rezk. En este encuentro veremos las clases de saturación, que utilizaremos para generalizar el concepto de las inclusiones de cuernos, y sus extensiones. También estudiaremos el concepto de isomorfismo dentro de una quasicategoría, para así poder definir un quasigrupoide, y su relación con los complejos de Kan.

Año 2017

Año 2016