Nicht eingeloggt (Login)

Lecture 4 -- Wednesday, 22nd of April

Leertaste = Abspielen/Pausieren
m = Stumm
f = Vollbild (Fullscreen)
ohne Einschränkung
30
01:33:55
Tashi Walde

Lecture 4 -- Wednesday, 22nd of April

More elementary type formers

  • Singleton type
  • Empty type
  • Coproduct types
  • (Dependent) pair types
  • Pattern matching

(unfortunately no sound in the second half)

HoTT 2026

Erstellt am: 22.04.2026 14:34
Letzte Aktualisierung: 22.04.2026 14:37