Nicht eingeloggt (Login)

Lecture 14 -- Friday, 29th of May

Leertaste = Abspielen/Pausieren
m = Stumm
f = Vollbild (Fullscreen)
ohne Einschränkung
18
00:47:16
Tashi Walde

Lecture 14 -- Friday, 29th of May

  • Homotopies and their basic properties
  • Sections, retractions and equivalences
  • Equivalence induction

HoTT 2026

Erstellt am: 29.05.2026 13:42
Letzte Aktualisierung: 29.05.2026 13:44