Nicht eingeloggt (Login)

Lecture 27 -- Monday, 15th of July

Leertaste = Abspielen/Pausieren
m = Stumm
f = Vollbild (Fullscreen)
ohne Einschränkung
5
01:29:49
Tashi Walde

Lecture 27 -- Monday, 15th of July

  • Comparison of strict vs univalent category theory
  • Groupoids and 1-truncation

HoTT 2026

Erstellt am: 15.07.2026 10:30
Letzte Aktualisierung: 15.07.2026 10:31