Nicht eingeloggt (Login)

Lecture 17 -- Monday, 8th of June

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

Lecture 17 -- Monday, 8th of June

  • Equivalences vs Pi-types
  • Embeddings and subtypes

HoTT 2026

Erstellt am: 08.06.2026 16:03
Letzte Aktualisierung: 08.06.2026 16:08