Day 5 : Synthetic Homotopy Theory Lecturer: Egbert Rijke Contents Part 1 : The universal cover of the circle Part 2 : Homotopy groups of types Part 3 : Homotopy pushouts and descent Part 4 : The Hopf fibration Part 5 : Covering spaces Part 6 : Blakers Massey Part 7 : Open problems