Nicht eingeloggt (Login)

Lecture 08 -- Wednesday, 6th of May

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

Lecture 08 -- Wednesday, 6th of May

  • Laws of addition for natural numbers
  • Transport along equalities
  • Topological interpretation

HoTT 2026

Erstellt am: 06.05.2026 14:57
Letzte Aktualisierung: 13.05.2026 16:00