Nicht eingeloggt (Login)

Lecture 11 -- Monday, 18th of May

Leertaste = Abspielen/Pausieren
m = Stumm
f = Vollbild (Fullscreen)
ohne Einschränkung
26
01:32:34
Tashi Walde

Lecture 11 -- Monday, 18th of May

  • Sets and Hedberg's theorem
  • higher truncation levels
  • function extensionality

HoTT 2026

Erstellt am: 27.05.2026 09:34
Letzte Aktualisierung: 27.05.2026 09:36