| Seminari junior de Teoria d'Homotopia | ||
 |
||
21.03.2022
-
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/
|
||
|
||
|
||
|
|
||
|
||
|
|
||
| Anar a Notícies | ||
Edifici C Facultat de Ciències
08193 Bellaterra (Barcelona)
TEL +34 93 581 13 04
FAX +34 93 581 27 90
d.matematiques@uab.cat