Nicht eingeloggt (Login)

Lecture 5

Leertaste = Abspielen/Pausieren
m = Stumm
f = Vollbild (Fullscreen)
ohne Einschränkung
4
01:28:24
Tashi Walde

Lecture 5

  • "doing math" in HoTT
  • Identity types
  • strict categories vs. 1-categories

Synthetic category theory 2026-27

Erstellt am: 28.10.2026 14:16
Letzte Aktualisierung: 28.10.2026 14:19