Home

Abstracts for Miniseries "An introduction to homotopy type theory and univalent foundations"

Alternatively have a look at the program.

Homotopy type theory and synthetic homotopy theory

Posted in
Speaker: 
Jonathan Weinberger
Affiliation: 
z. Z. MPIM
Date: 
Mon, 14/03/2022 - 15:00 - 16:00
Parent event: 
Miniseries "An introduction to homotopy type theory and univalent foundations"
Parent event: 
MPIM Topology Seminar

This talk will be on zoom only!

For zoom details contact: Barthel, Ozornova, Ray, Teichner.

 

Homotopy types as $\infty$-groupoids

Posted in
Speaker: 
Léonard Guetta
Affiliation: 
MPIM
Date: 
Mon, 21/03/2022 - 15:00 - 16:00
Parent event: 
Miniseries "An introduction to homotopy type theory and univalent foundations"
Parent event: 
MPIM Topology Seminar

For zoom details contact: Barthel, Ozornova, Ray, Teichner.

An introduction to univalent foundations and the equivalence principle

Posted in
Speaker: 
Paige North
Affiliation: 
University of Pennsylvania
Date: 
Mon, 28/03/2022 - 15:00 - 16:00
Parent event: 
Miniseries "An introduction to homotopy type theory and univalent foundations"
Parent event: 
MPIM Topology Seminar

Please note: This is  talk will take place online only.

For zoom details contact: Barthel, Ozornova, Ray, Teichner.

 

... back to parent event

LaTeX version

© MPI f. Mathematik, Bonn Impressum & Datenschutz
-A A +A