Propera xerrada – 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.

Sobre el seminari

Els doctorands del grup de topologia de la UAB  organitzem aquest seminari amb la finalitat d’aprendre tot això que ens hem perdut: grups d’homotopia d’ordre superior, grups d’homotopia estables, seqüències espectrals, teoria d’obstrucció…

Al calendari que hi ha al costat trobaràs les dates de les properes xerrades, si vols venir,  escriu-nos un mail per comptar amb tu.

El seminari està obert a qualsevol que vulgui aprendre i també a qualsevol proposta de tema que sigui afín al contingut del seminari.

Xerrades

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.