Seminari junior de Teoria d'Homotopia
Seminari organitzat pels doctorands del grup de Topologia de la UAB. Dimarts 22 de març, primera xerrada: Altre introducció a la teoría de tipus de homotopía
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ó...
El seminari està obert a qualsevol que vulgui aprendre i també a qualsevol proposta de tema que sigui afí al contingut del seminari.
----------------------------------------------------------
Seminari 2: Just Another Introduction to Homotopy Type Theory. Part 1
Seminari 3: Just Another Introduction to Homotopy Type Theory. Part 2
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.
Més informació: https://mat.uab.cat/web/seminaritopologiajunior/