Nicht eingeloggt (Login)

Lecture 21 -- Monday, 22nd of June

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

Lecture 21 -- Monday, 22nd of June

More on set quotients

  • universal property
  • sets of unique representatives
  • axiom of replacement
  • set truncation

HoTT 2026

Erstellt am: 24.06.2026 16:06
Letzte Aktualisierung: 24.06.2026 16:12