Seminari 4: Homotopy groups for babies
Dimarts 5 d’Abril, TBA , TBA
Speaker: Wilson Forero
Abstract: In this talk, we will explain the different ways of defining higher homotopy groups. Moreover, we will see that many theorems about the fundamental group generalize to higher homotopy groups. On the other hand, we will also talk about homotopy equivalences and Whitehead’s Theorem.
Seminari 3: Just Another Introduction to Homotopy Type Theory. Part 2
Dimarts 29 de Març, 16:00, Seminari C1/-128
Speaker: Thomas Jan Mikhail
Abstract: In the first talk we will develop the basic vocabulary of type theory, focusing on Π-types and Σ-types. In the second talk, we will pump homotopy into the system by introducing the identity type. The aim of this talk is to state and briefly discuss the univalence axiom.
Seminari 2: Just Another Introduction to Homotopy Type Theory. Part 1
Dimarts 22 de Març, 16:00, Seminari C1/-128
Speaker: Thomas Jan Mikhail
Abstract: In the first talk we will develop the basic vocabulary of type theory, focusing on Π-types and Σ-types. In the second talk, we will pump homotopy into the system by introducing the identity type. The aim of this talk is to state and briefly discuss the univalence axiom.
Seminari 1: Los cuadrados de Steenrod
Dimarts 8 de Març, 16:00, Seminari C1/-128
Speaker: Guille Carrión
Abstract: Los cuadrados de Steenrod son una familia de operaciones en cohomología estables frente a la suspensión. En esta charla repasaremos la cohomología de espacios y su estructura de álgebra. Para introducir los cuadrados de Steenrod veremos las operaciones en cohomología y definiremos de forma axiomática los cuadrados de Steenrod y utilizaremos estos cuadrados para demostrar la no existencia de invariantes de Hopf uno.