Nicht eingeloggt (Login)

Lecture 7 -- Monday, 5th of May

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

Lecture 7 -- Monday, 5th of May

More about identity types:

  • higher equalities
  • groupoidal structure
  • comparison with Axiom K
  • action of functions on equalities

HoTT 2026

Erstellt am: 05.05.2026 11:10
Letzte Aktualisierung: 05.05.2026 11:52